 is greater: v or 1?
1
Let u be (-1 + 3/2)*(-8 - -10). Suppose 48*p + u = 47*p. Which is greater: -4/53 or p?
-4/53
Let m be 4/(-64)*46 - 1/8. Let h be (-2)/6 + 2/(-3). Let v be h + 0 + 0 + -4. Is v < m?
True
Suppose 3*m - 22 = 23. Suppose 0 = -12*b + 13*b - s + 4, 4 = -3*b + s. Which is smaller: b or m?
b
Let b = 40547/41 + -989. Which is greater: b or 0?
0
Let h(f) = -f**2 + 6*f - 12. Let w be h(6). Which is smaller: w or -92/7?
-92/7
Let k be (-2)/39312*2*(-494124)/16. Let p = 1/1872 + k. Let g be 0 + -1 + 12/3. Is g >= p?
False
Suppose 233*t - 405 = 224*t. Which is smaller: t or 504/11?
t
Let k = -7.5 - -6.5. Which is bigger: k or 2/513?
2/513
Suppose -1 - 3 = 4*a. Let b(v) = v - 30. Let x be b(23). Let l be (0 - 85/(-175)) + 2/x. Which is smaller: l or a?
a
Suppose -4*r - 2*u - 14 = 0, 0 = r - 4*r + 2*u + 7. Let z(b) = 4*b**2 - b + 2. Let l be z(2). Let v be (6/8)/((-390)/l). Is r smaller than v?
True
Let w = -0.578 - -12.578. Is 4.9 at least w?
False
Let v be 2/(-4) - 755/450. Let j = 55/288 - -1/32. Let k = j - v. Which is smaller: 2 or k?
2
Let t = 4172/15 + -278. Let v be (0/(-8))/(-3 - -1). Is v >= t?
False
Let u = -327 - 721. Which is greater: u or -1047?
-1047
Let b(j) = j**3 + 3*j**2 - 13*j - 6. Let u be b(-5). Suppose 0 = 6*x - u*x + 135. Is x > 46?
False
Let i = 38.065 - 0.065. Let g = i - 38. Is g smaller than -0.01?
False
Let m = 36 + -22. Let y be (2 - 3 - 9/6)/((-145)/232). Which is smaller: y or m?
y
Let a(k) = -k - 5*k - 2*k**2 - 42*k**3 - 2 + 3*k. Let p be a(-1). Does p = 41?
True
Let c = -159/2 + 79. Is c greater than -13/6?
True
Let y = -254/161 + -75849/805. Is y <= -96?
False
Let r be (9/(-18))/(1/(-10)). Let d(g) = 6*g - 30. Let q be d(r). Is q < 6/17?
True
Suppose -4*i + a - 4*a + 3 = 0, -3 = i - 3*a. Suppose i = s - 11 + 26. Let c be 5/10 - s/(-54). Which is smaller: 1 or c?
c
Let p be (-632)/80 - -1 - (-4)/10. Is p less than -6?
True
Suppose 3*a - 6 = 0, -5*a + 15 - 6 = u. Let c be (1 + -2)/1 - 8. Let x be (-20)/(-51) - (-3)/c. Is x equal to u?
False
Let w be (-4)/(-34) + 330/85 + -10. Suppose n = 5*n + 28. Which is smaller: w or n?
n
Let s = -931 - -961.13. Let a = s - 30. Let d = -1.33 + a. Are 0.1 and d equal?
False
Suppose n + 1 = -u, -u + 3*u - n - 7 = 0. Suppose -12 = -5*b - u. Is 2 bigger than b?
False
Let v(k) = -4*k**3 - k**2 + k + 4. Let n be v(-2). Let o be ((-4)/n)/((-14)/63). Which is greater: o or -0.2?
o
Let i be (-2504)/288 - (-2)/8. Is i at most -9?
False
Suppose i = 18 - 5. Let c = -2981 + 11923/4. Which is smaller: c or i?
c
Let w = -68 - -137. Let u = -71 + w. Which is smaller: u or 2.2?
u
Let w = -3/80 - 31/240. Which is bigger: 13 or w?
13
Let r = 51 - 57.8. Let z = r + 7. Is z != -2/5?
True
Let k(u) = u**2 + 29*u - 28. Let w be k(-30). Are w and 6/11 non-equal?
True
Let z(o) = o - 5. Let f be z(5). Suppose -2*i + i = 3*q - 2, f = 3*q + 4*i + 10. Let x = -25777/11 + 2343. Are q and x non-equal?
True
Let r(a) = a**3 + 11*a**2 + 11*a + 11. Let t be r(-10). Is 9/10 bigger than t?
False
Let y = 480 + -483. Is y >= -8?
True
Let i = 260 - 241. Is -1 bigger than i?
False
Let s(n) = n**3 + 6*n**2 - 6*n + 4. Suppose -33 = -v - 4*t + 3, 0 = v - 5*t. Let l = -27 + v. Let p be s(l). Which is smaller: p or 0.3?
p
Let n = -0.171 + 0.471. Which is bigger: n or -0.15?
n
Let p(g) = -247*g - 14. Let y be p(-2). Suppose 2*c = -4*f + 206, 5*c + 2*f = -f + y. Which is greater: 94 or c?
94
Suppose -5*r + 9 = -2*r. Suppose -2 = -r*z - 11. Let b be ((54/z)/(-3))/2. Is b at least as big as 4?
False
Suppose -94*r + 82 = -92*r. Which is smaller: r or 34?
34
Suppose 0 = -3*b - 15, -2*l + 4*b = 3*l + 30. Is -6 >= l?
True
Let u = 0.3 - 0.2. Let t be 2 + -10 + (-376)/(-48). Which is smaller: u or t?
t
Let x be (5*(-730)/(-100))/(1/2). Which is greater: 72 or x?
x
Suppose 2*s - s + 24 = 0. Let c(a) = 14*a + 59. Let l be c(-6). Is s at least as big as l?
True
Let c be (-5)/((7 - 4)/(-3)). Suppose 0*t = -c*t, 5*f = 5*t - 25. Which is smaller: -6 or f?
-6
Let w = 15905/3274443 + -1/7741. Which is smaller: w or 1?
w
Suppose 24*m = 6 + 42. Which is smaller: m or 6?
m
Let n = 540 - 359. Which is smaller: n or 2?
2
Let a = -0.144 + 0.204. Let t = 7 + -7.94. Let c = t - a. Which is bigger: c or 1/3?
1/3
Let q(p) = p**3 + 4*p**2 - 8*p - 7. Let b be q(-5). Let t(z) = -2*z**3 - 5*z**2 + 2*z - 2. Let g be t(-4). Let l = -32 + g. Is l > b?
False
Let u(y) = y**3 + 11*y**2 + 5*y - 8. Let t be u(-11). Let h be t/6*(2 + 0). Let v = 9 + h. Which is smaller: v or -13?
-13
Suppose 426*d = 436*d. Let l be 828/3440 + (-1)/4. Is d equal to l?
False
Let i = -43741652/192759 + 177/9179. Let t = 691/3 + i. Which is bigger: t or 3?
t
Let a be (-4)/(-22) - 48*(-20)/165. Suppose -3*s - 4 - 15 = -5*y, 0 = -s - 5*y + 7. Let f = 10 + s. Which is bigger: f or a?
f
Let b be (2/4098)/(8/(-16)). Is 1 bigger than b?
True
Let y be (45/12)/(6/(-24)). Let g be 447/y + (-3)/15. Let p be ((-12)/g)/((-6)/(-15)). Are 3/5 and p equal?
False
Let s(z) = 2*z**3 - 7*z**2 - 10*z + 2. Let x(b) = -4*b**3 + 13*b**2 + 19*b - 4. Let k(n) = 5*s(n) + 3*x(n). Let w be k(3). Which is smaller: 15 or w?
w
Let t(m) = -29*m - 35. Let j be t(9). Which is greater: j or -295?
-295
Let k = -386.3 - -366. Let m = k - -20. Does -8 = m?
False
Let g = -49 + 70. Let b be (-1592)/g - (-12)/18. Let o = b - -75. Does o = -1?
False
Let u be (-4)/20*(-6 + -2992). Let s = u - 593. Which is bigger: s or 6?
s
Suppose 0 = 80*w - 83*w. Let l = 419/4520 - 3/40. Which is smaller: l or w?
w
Suppose -1291*u = -1294*u + 12. Which is smaller: u or 86/25?
86/25
Suppose 3*i + 4*d = -7, 0*d = 5*i - 3*d + 2. Let z(v) = v**3 - 8*v**2 - 4*v + 7. Let s be z(9). Let g = 363/7 - s. Is i at most g?
True
Suppose -17*x + 22*x + 10 = 0. Let k(y) be the first derivative of y**4/4 - 2*y**3/3 - 3*y**2/2 - y + 3. Let l be k(3). Which is smaller: l or x?
x
Let g = 16 + -16.43. Let k = g - 6.77. Let l = -7 - k. Which is greater: l or -2?
l
Suppose -2*n + 4*s = -12, -5*n + 4*s + 11 = -1. Suppose 5*a = 4*k + 2, n = a - 2*a + k. Let f be (-2 - 1 - -3)/a. Is f at most 0?
True
Let s be 3/21*-2*(-10 - -17). Which is smaller: s or -5/9?
s
Suppose 20 = -5*p - 5*u + 50, -2*p = 4*u - 22. Which is smaller: 564 or p?
p
Let t(z) = z**2 + 2*z. Let a(g) = 5*g**2 + 15*g - 2. Let v(c) = a(c) - 4*t(c). Let k = -12 - -5. Let n be v(k). Is -5/2 > n?
False
Let u = 565/7 - 81. Let b = -0.0142 + -0.8858. Is u greater than b?
True
Let p = 6.029 + -0.029. Let a = -0.8 + 0.1. Let f = a + -0.3. Is p at most as big as f?
False
Suppose 3*m = -3*g - 0*m - 90, -4*g + 2*m = 114. Let a = 41 + g. Let o be a/(-52)*(0 + 1). Which is smaller: 1 or o?
o
Let f = 0.4 + -0.2. Let u = 0.8 + f. Suppose 5*s = -3*g - 7, -7*g + 5*g = -5*s - 12. Do g and u have the same value?
True
Suppose 51 = 167*p - 168*p. Is p at least -55?
True
Let f be -151 - 4/((24/(-3))/(-4)). Is -152 smaller than f?
False
Let m = -21.87 + 22. Let q = -0.12 + m. Which is greater: 0 or q?
q
Let x(r) be the second derivative of -r**5/20 - 3*r**4/4 + 3*r**2/2 + 5*r. Let o be x(-9). Let s be o/(-5) - (-226)/10. Which is bigger: 21 or s?
s
Suppose 0 = 4*x + x - 75. Suppose -5*c + x = 10. Let k be (-32)/(-45) - 2/(-5). Are c and k equal?
False
Let w = 337 - 336. Which is bigger: w or 28?
28
Let h be (-4 + -46)*3/18*-3. Suppose -3*t - h = -k, 89 = 5*k - 5*t + 2*t. Which is bigger: k or 18?
18
Let k(g) = -15*g**2 + g - 1. Let h be k(1). Let t = -12 - h. Let d(m) = -3*m + 4. Let s be d(t). Are s and -6 unequal?
True
Let p be -4*56/256 - 2/16. Suppose 0 = 3*m + 5*y - 1, -3*m - 2*m - 2*y = -27. Let s = m + -5. Which is greater: p or s?
s
Let g = 53.87 - 53.6. Which is greater: g or 0.2?
g
Let n be 60/(-42) + 1 + 48/14. Let r(m) = 3*m**3 - 6*m**2 + 7*m + 4. Let z be r(n). Which is smaller: z or 53?
z
Let i(p) = -5*p + 1. Let z be i(5). Let b = z + 49/2. Let k(t) = -t + 11. Let m be k(10). Is m equal to b?
False
Let i = -300839/184 - -1635. Do 0 and i have different values?
True
Let c be 6/(-54)*3 + (-8)/(-36). Which is greater: 9 or c?
9
Let r(q) = q**2 + 9*q - 5. Let a be r(-9). Let g be (-2)/(-20)*a/35. Is 1 smaller than g?
False
Let d(v) = -43 + 48 - 4*v**3 - 4*v + 5*v**2 + 5*v**3. Let b be d(-6). Let y(u) = -u**2 - 6*u + 7. Let s be y(b). Is -2/33 < s?
True
Let n = 90/29 - 700/319. Is 1 < n?
False
Let c