 f*r = 2 + 4. Which is bigger: 4/7 or r?
r
Let o = 115.1 + -133. Let n = 18.31 - 0.31. Let v = n + o. Is 1.2 > v?
True
Let w = 72 + -128. Let o be 32/w - (-64)/14. Let a be o/(-8) + 3/(-42). Is 0 at most a?
False
Let o = 241 - 243. Which is smaller: 71 or o?
o
Suppose -9*k = -16*k. Suppose 2*z - 7 + 5 = k. Which is smaller: 1/20 or z?
1/20
Let y(c) be the second derivative of -2*c**3 + c**2 - 14*c. Let k be y(1). Is -11 not equal to k?
True
Suppose -549 - 23 = -11*o. Does 53 = o?
False
Let w = 1488 + -104163/70. Is w < -1?
False
Let o be 526/10*-6*50/(-30). Is 526 bigger than o?
False
Suppose -4*y + 3 = -1. Let n(u) = 15*u**2 - u. Let w be n(y). Let v be (-13)/w + (-2)/(-4). Are v and 0 equal?
False
Let v = 446 + -14720/33. Let h = 4/2539 + -68633/50780. Let y = 8/5 + h. Which is greater: v or y?
y
Let q be (48/(-9))/((-1)/(-3)). Let t = 23 + q. Let w = -283/2 + 141. Is w greater than or equal to t?
False
Let r be (50/(-20))/(2 - 13/6). Let f be (-10)/(-6)*(0 + 3/r). Which is bigger: 8 or f?
8
Let x be 3 - ((-332)/(-80) - 1). Let l = 1/10 - x. Is l less than -5/4?
False
Let n = -0.4 + -57.6. Let x = n + 57.96. Let d = -5 - -5.1. Is d bigger than x?
True
Let r = 203.9 + -204. Suppose 162 = -0*i - i + 3*g, -4*i = -3*g + 621. Let z = i + 1531/10. Is r at most as big as z?
True
Let q = 5743/598 + -124/13. Which is smaller: q or 0?
0
Let p be (-64)/(-6)*(8 + (-2401)/308). Are 3 and p unequal?
True
Let n = -4.94 - -4.89. Is n smaller than 0.11?
True
Let x = 36 - 41. Suppose 0 = m - 5*m + 12. Suppose -m*j = -w - 2*w + 24, w = -2*j - 4. Does x = j?
False
Let i(b) = b**3 + 3*b**2 + b + 3. Let v be i(-3). Suppose -3*n - 6 = -0*n. Let u be (-1 - 3)*n/(-36). Do v and u have the same value?
False
Suppose 3*d - 8 = 7. Suppose -2*j - d*r + 57 = 0, -6 = -j - 0*r + 5*r. Let n be (2 - 12/j) + -2. Is 0 smaller than n?
False
Let f be 6/(-12)*(0 - -2). Let c be 32/36*5/(-10). Which is smaller: c or f?
f
Suppose 0 = 4*g + 11 + 41. Let q = -19.14 - -20. Let z = q - -0.14. Which is smaller: z or g?
g
Let p = -1002 - -1001.9. Which is bigger: -204 or p?
p
Let p be 45/(-20)*4*6/(-90). Let r = 7.1 + -1.1. Which is bigger: r or p?
r
Let p = 28 + -26. Suppose -5*o - 41 = 2*v, -o - 3*o - 40 = p*v. Let n = v + 31. Is n greater than or equal to -1?
True
Suppose -5*g + 2*s - 10 = 0, 15 = -g + 3*g + 3*s. Let k be ((-70)/196)/((-4)/14). Is g greater than k?
False
Let q(f) = f**3 - 4*f**2 + f. Let l be q(4). Suppose 5*z - 30 = l*j + 15, -4*z - 72 = 4*j. Is -15 equal to j?
True
Suppose -2*t - 3*u = -4, 3*t - 1 + 6 = u. Let f be (t - (-5)/10)*2. Let z be -1*(2 - 72/34). Which is greater: f or z?
z
Let l(q) = q**2 - 3*q - 3. Let j(s) = -s**3 + s + 6. Let z be j(0). Let g be l(z). Is g less than 15?
False
Let t = -351414561/153842 + 139395/61. Let j = t - -3/194. Is 1 smaller than j?
False
Let n be ((-3)/(-15))/((-72)/10 - -7). Is n smaller than 1/156?
True
Suppose 3*o = 5*o + 2. Let i = -5 - -8. Suppose -i*h + 3*c + 21 = 0, h + 2*h + 4*c = -14. Which is greater: h or o?
h
Let i = -0.1 - 6.9. Let j = -271 + -155. Let k be 4*(-5 + j/(-84)). Are i and k unequal?
True
Let m = -9 + 13. Let b(g) = 2*g + 5. Let q be b(0). Suppose q*c + 5*u + 20 = 0, 0*c - 4 = -m*c + u. Which is greater: -0.3 or c?
c
Let p = 33 - 15. Let g = 373 + -352. Which is smaller: p or g?
p
Let h = 274/91 - 20/7. Is 1 greater than or equal to h?
True
Let c = -3 + 2. Let u = 16.1 - 10.1. Which is greater: c or u?
u
Let t = 16.1 + -4.1. Suppose z - 4*g = 8, 2*z + 0*g + 10 = -5*g. Which is greater: t or z?
t
Let d = -194 - -194.4. Let g = -8.4 - -0.4. Let v = -6 - g. Which is smaller: v or d?
d
Let t = 13 + -10. Suppose -5*m = 5*i - 40, -t*i - 4*m = 2*i - 40. Suppose 0 = -2*h + i - 2. Do 5 and h have different values?
True
Let f = -50 + 53. Suppose 4*h - 8*h - f*i = 14, -3*h + i = 4. Which is smaller: h or 1?
h
Let h = 1738/3 + -355462/615. Let n = -6/41 + h. Let j = -4/3 + n. Which is smaller: j or 1?
j
Let n = 45507/61 - 746. Is -1 at least n?
False
Suppose -2*g - 28 = -74. Let o be ((-12)/(-20))/((-2)/(-90)). Let u = o - g. Which is smaller: 5 or u?
u
Let x(i) = i**3 + 10*i**2 - 8*i + 12. Let z be (10 - 9)/((-2)/20). Let s be x(z). Is 93 > s?
True
Let u be ((-1)/1)/(23/(-1380)). Does 301/5 = u?
False
Let z be (-38)/(-4) + (-4)/8. Which is greater: 4 or z?
z
Let d = -9 - -5. Let a = 7 - d. Is a less than 9?
False
Let w(x) = -1 + 2 + 2 - x**2 - 4*x. Let i be w(-5). Let q be (-18)/(-10) + 1*i. Which is greater: 0 or q?
0
Let b be (338/(-52))/(1/4). Which is smaller: b or -14?
b
Suppose 2*z + 134 = -n, 5*n - 4*z = -806 + 66. Which is bigger: -143 or n?
-143
Suppose -10 - 206 = -4*g. Suppose 3*z + y = 155, -5*y = -13*z + 11*z + 109. Which is bigger: g or z?
g
Suppose -l + 0*l = -8. Suppose 0 = 50*t - 305 + 5. Are t and l nonequal?
True
Let u = -25 + 31. Suppose 5*a - u*a = 0. Is a not equal to 1/14?
True
Suppose 3*t - 8 = 2*d, 2*d - 9 = -2*t - 7. Let q = -4 - -2. Is t != q?
True
Suppose -49 = 4*h + 2*k + 41, 3*k = -4*h - 89. Which is smaller: -16 or h?
h
Let b be 5/(-35)*(34 + -34). Let i = -71/6 + 1315/102. Let y = i + -73/85. Which is greater: b or y?
y
Suppose 4*s + 3*x = 9, 5*s - 6*x - 20 = -x. Suppose 3*h - 2 - 8 = -4*u, h + 6 = u. Which is smaller: s or h?
h
Suppose s - 2*y = -9, -20 = -5*s + 40*y - 43*y. Which is bigger: s or 2/6057?
s
Suppose 2*c - 4*q = -12, -2*q + 3*q = 4. Suppose c*z + z + 69 = -4*i, -3*z = -3*i - 57. Let l be (i/(-4) - 4)/2. Which is bigger: 1 or l?
1
Suppose -27*z + 1001 - 3647 = 0. Are z and -95 unequal?
True
Let f be 627/9 - (-7)/21. Let q = f - 48. Is q >= 22?
True
Let i be ((-22)/(-55))/(2/10). Let u = 14870/7 + -2121. Is u > i?
True
Let h(c) = 7*c + 10. Let d be h(6). Which is bigger: d or 53?
53
Let k = -1336/11123 - -18/227. Is 1 at most k?
False
Let p be (-13 - -24)/((-2)/52). Which is smaller: -287 or p?
-287
Suppose 23 = q - 2*g + 5*g, 4*q - 3*g = 92. Is q < 22?
False
Let u(x) = x**3 - 3*x**2 - 2*x - 4. Let p be u(4). Suppose -p*y + 6 - 2 = 0. Let h = 4 - -3. Which is greater: y or h?
h
Let n = -249 + 224. Let y(q) = -3*q - 8. Let h be y(6). Do n and h have the same value?
False
Let t = -12368/229 - -54. Let f = -243/1603 - t. Which is smaller: f or 1?
f
Let n = -6 - -6. Let d = n + -8. Let l = 12 + d. Is l >= -2/5?
True
Let j be 5/((-10)/4) + (-130)/(-115). Let u = j + 247/46. Is u smaller than 5?
True
Suppose 0 = -4*s - o + 15, -2*s + 35 = -7*o + 2*o. Let c be ((-2)/s)/(5/(-25)). Let j = 2/99 + 293/198. Which is bigger: c or j?
c
Let a be 67/(((-27)/3)/(-3)). Let y = 28 - 50. Let c = a + y. Which is greater: 0 or c?
c
Suppose 5*o = 5*g, -3*g - g + 4 = -2*o. Suppose -k = -3*k + g. Let m = 2 - k. Which is greater: m or -1?
m
Let l = 395 + -395.038. Is 4 < l?
False
Let b(k) = k**3 + 5*k**2 + 3*k. Let v be b(-5). Let n be 2/5 + 126/v. Let l be 1/((-28)/n - -2). Is l at least as big as 3/4?
False
Let i = 0.05 + -5.05. Let a = 6 - -6. Let f = a - 11.8. Is i at most as big as f?
True
Suppose 5*o - r = -5*r + 67, 0 = 3*o + r - 36. Let s = 18 - o. Let x be (s/2 - 3)*0. Which is greater: x or 3?
3
Let a = 0.14 + 0.06. Let s be 3/4*((-32)/12)/4. Which is smaller: s or a?
s
Suppose 0 = -5*q - 7 - 8. Let k be ((-19)/q)/((-3)/(-9)). Suppose -4*v - k = 3*y, y = 3*v - 7*v - 25. Is v smaller than -1/2?
True
Let h = 80 - 79. Are 13/8 and h non-equal?
True
Let g(a) = -5*a - 7. Let n(j) be the first derivative of j**2/2 - 4. Let o(p) = -g(p) - 4*n(p). Let y be o(-3). Which is smaller: y or 0.1?
0.1
Suppose 5*f = -11 - 4. Let t = f - 2. Suppose 4*x = 73 - 101. Which is smaller: x or t?
x
Let v(d) = -4*d - 1 - 35*d**3 + 2*d**2 + 37*d**3 - 8*d**2. Let m be v(3). Let f = 27 + m. Is 0.1 at least f?
False
Let g(n) = n**2 + 7*n + 6. Let s be g(-8). Let j = s + 11. Suppose 4*u + 5*a = -j, -u + 2*u - 4*a = 20. Which is smaller: u or 3/23?
u
Suppose -5*k - 2*f + 35 + 7 = 0, 0 = -3*k - f + 26. Let g be k/60*(-8)/6. Which is bigger: g or 0?
0
Let i(j) = 5*j + 39. Let d be i(-18). Do d and -52 have different values?
True
Let g(p) = -p**2 - 2*p + 2. Let d be g(1). Let o be (6/16)/(9/44). Let v = o + -43/30. Is v greater than or equal to d?
True
Suppose 2*f - 27 = 3*f + l, 0 = 2*f + 5*l + 69. Let q be ((2 - -2) + -3)*-22. Is q at most f?
True
Suppose -8 - 40 = -4*k. Let l be (13 - 25)*4/(-6). Is k at most l?
