 k(o) = o + 4. Let l be k(-5). Is l > p?
False
Let x(r) = r + 15 - 17 + 16. Let c be x(-16). Suppose 5*f + 14 = -6. Is c <= f?
False
Let y = -5822/9 + 647. Which is bigger: y or 0.001?
y
Let k = 49 + -24. Let t = k - 19. Let w = -1 - -1. Which is bigger: t or w?
t
Let t = 29 + -38. Let s(p) = p**2 + 9*p + 4. Let l be s(t). Suppose -l*d = 4*v - 12, 4*d - 5 = 5*v - d. Are 1 and v non-equal?
False
Let b be (-10 - -10)/(1*3/1). Let v be (-2 + 1)/(b + 3 - -23). Is v at least as big as -2/7?
True
Let i(l) = -2*l**2 - 7*l + 1. Let u be i(-3). Let o be 2/(-8)*u/(-5). Is o smaller than -1?
False
Let y = 631/4319 - 2/617. Which is greater: y or 0?
y
Suppose 0 = 8*m + m - 18. Suppose -5*r = 3*l + l + 13, -2*r - m = 0. Is -9/4 smaller than l?
True
Suppose 5*c + 51 = -4*m, -3*c - 37 = 5*m - m. Let o be 128/7 - (-2)/c. Which is smaller: o or 20?
o
Let j = 0.0126 + -3.0126. Let r = 0.1 - 0.2. Let u = r + 0.3. Which is greater: j or u?
u
Suppose 2*y = 2*f - 2, -2*f - 7*y + 3*y = 4. Suppose 9 = -3*h - f. Let r = h - -4. Which is greater: r or 1/2?
r
Let r = 4167/2 + -2252. Let y = 176 + r. Let v = -16 + 25. Do v and y have different values?
True
Let w(y) = 3*y - 16. Let f(g) = -13*g + 66. Let a(t) = 2*f(t) + 9*w(t). Suppose x - 27 = -2*x. Let c be a(x). Which is smaller: c or -5?
-5
Suppose 0 = -2*y - 4*n + 14 + 2, 11 = y + 3*n. Let b be y/((-3 + 1)*1). Are b and 1/17 equal?
False
Suppose -50*f - 126*f + 3168 = 0. Let u be (-1 - -3)/((-6)/(-51)). Which is smaller: u or f?
u
Let a be (-14)/(-2) - (447 - -2 - 6). Is -435 >= a?
True
Let z be (15/18)/((-24)/(-2070)). Let d = z - 72. Suppose b + 3*n = -9 - 3, -16 = -2*b + 4*n. Which is greater: b or d?
b
Let d be (8340/(-418))/(-5) - 4. Suppose 2*v + 2*u + 1 = u, 0 = -5*v - 5*u - 10. Which is smaller: d or v?
d
Let o = 742/5 - 21418/145. Which is smaller: 1 or o?
o
Let f = -200 + 246. Which is smaller: f or 227/5?
227/5
Let l(f) = -25*f + 33. Let p be l(4). Let v = p - -68. Is 1/117 less than v?
True
Let w(o) = -o**3 + 11*o**2 - o + 14. Let q be w(11). Suppose 4*v = 4*d - 24, 6*d + 17 = q*d - 4*v. Let s = -2 + d. Which is greater: s or -2/19?
-2/19
Let w = -819/5 + 164. Suppose -2*k + 9 = -3*c, 3*k + c + 2*c = -9. Which is smaller: w or k?
k
Suppose 0 = -f - f + 4. Suppose 0*q = -3*g - q + f, 5*g + 6 = 3*q. Which is bigger: g or -1/14?
g
Suppose 0*w + 238 = 4*y + 2*w, 3*w = y - 42. Suppose -y = 4*a + 7. Which is greater: -14 or a?
-14
Let c = 0.7254 - -0.2746. Is 1.218 at least c?
True
Let h = 2 - -2. Let x be (-12)/24 + (-38)/h. Let i be 12/(-50)*x/(-3). Are 0 and i nonequal?
True
Let h be 0 + 3 + (-6)/6. Let n = h - 16. Let d be (26/(-6))/(2/6). Which is greater: n or d?
d
Let v be (-1 + -4)*((-1)/5 - 168/840). Suppose -3*x + l + 3 = 0, 4*x - 5*l - 3 = 12. Suppose -2*u + 10 + 10 = x. Which is bigger: v or u?
u
Suppose -46*p - 537 = -41*p + g, -5*p - 539 = 2*g. Which is bigger: -108 or p?
p
Let j be -3 - (-7)/(28/16) - -86. Is 88 < j?
False
Let b = 437/1305 - 2/1305. Is -34 at most as big as b?
True
Let f(y) = 24*y**3 - y**2 + 8*y**3 - 7*y + 6*y. Let k be f(-1). Let v be (-18)/(-24) - (-3)/12. Does k = v?
False
Let g be (-10)/6*630/350. Suppose 0*v - v - 4*j = 19, 0 = -5*j - 25. Is g >= v?
False
Let i(d) = 178*d - 2292. Let m be i(13). Let y = 63 + -40. Is y > m?
True
Let n = -0.15 - -1.55. Let f = -4.4 - -5. Let d = n + f. Is -2 <= d?
True
Suppose -5*x = -3*v - 9, -3*x - 5*v + 13 = -3*v. Let l(b) = -b**3 + 16*b**2 - 16*b + 14. Let z be l(15). Which is smaller: z or x?
z
Let i(s) = 770*s - 88. Let z be i(-1). Which is smaller: -857 or z?
z
Let i be (-6)/(-8) - (30/8 + -9). Which is bigger: 92/15 or i?
92/15
Let w be 1/(-10) - (-180)/(-200). Is w equal to -2/2225?
False
Suppose 3*g - 15*g + 96 = 0. Let j be 14/(-1) - (-10 + g). Suppose -44 = -2*q + 6*q. Which is bigger: j or q?
q
Let r(u) = -u - 2. Let d be r(-4). Let c be (2 - (-3 + d)) + 1. Suppose 0*g = 4*g + 3*k - 17, 0 = g - 2*k + c. Is g >= 0.2?
True
Suppose 2*k - 6 + 2 = 0. Suppose -k + 4 = x. Are -8 and x nonequal?
True
Let j = 8 - 9. Let t = -29 + 31. Let l be (418/33)/(t/(-3)). Is l <= j?
True
Suppose -3*h = -3*y + 57, h - 71 = -3*y - 3*h. Suppose 4*u - y = 11. Let t be (u/156)/(-2)*-6. Which is bigger: t or 0.1?
t
Let d = 2.92 - -0.08. Is d at least -4.4?
True
Let k be (1 + -2)/(-11 + -1). Which is smaller: -1 or k?
-1
Suppose -5*k + k = -4, -4*k = -4*u. Are 9/28 and u equal?
False
Let h = 0.4 - -13.6. Let f = h - 25. Let n = f - -11. Do n and -0.2 have the same value?
False
Let s = 16 - 11. Suppose 0 = 5*z - 30 + s. Suppose 5*f = i + 3*i - 10, 0 = -z*i. Is -0.1 at least f?
True
Let g = 4351 - 4357. Suppose k = 4*y - 6, 2*k - 5*y + 4 = -8. Do k and g have the same value?
True
Let i = 6 + -2. Let c be -3 + 2/(-5 + 1)*-10. Suppose -5*g + 9 = -c*g. Which is greater: i or g?
i
Let o(q) = q**3 - 4*q**2 + 5*q - 1. Let r(h) = -6*h**3 + 21*h**2 - 25*h + 5. Let x(l) = 11*o(l) + 2*r(l). Let s be x(-3). Which is smaller: s or -8?
-8
Let k be -1*(1034 - (-3 + 6)). Is -1032 at most k?
True
Let z = -3022/13 + 232. Let m = 2399 + -2393. Which is bigger: m or z?
m
Let w(a) = 21*a + 557. Let u be w(-28). Which is bigger: -332/11 or u?
-332/11
Suppose 2*y + 3*w = -3*y - 42, y - 5*w + 14 = 0. Let d be (y - 2) + (1 - 0). Let u = d + 30. Which is smaller: 21 or u?
u
Let x = -30.7 - 7.3. Which is smaller: 1 or x?
x
Let u = -52 + 64. Let k(l) = -l**2 + l - 1. Let y be k(-4). Let m be u/21*y/(-66). Is -2/7 less than or equal to m?
True
Let b be (-3)/210 + -3 + 3. Is 1 smaller than b?
False
Let d = -80 + 15. Which is greater: -2/15 or d?
-2/15
Let d be 15/9 + (-120)/72. Suppose -2*l + 2 = 5*c, -3*c + l = -7 - 3. Suppose -3 = y - c. Which is smaller: y or d?
y
Suppose -11 - 9 = -5*v, 0 = -3*c - 4*v + 19. Which is bigger: c or -11/83?
c
Suppose -3*b = -4*k - 102, -12*b + 3*k = -10*b - 67. Which is smaller: 20 or b?
20
Let m be (-7 - -16)/(18/(-12)). Let h be (-32)/63 + 14/63. Which is smaller: m or h?
m
Let g = -3.49 - 0.91. Let x = g + 1.4. Is 22 at most x?
False
Let i = -31895/254 - -9/127. Let p = 19325/154 + i. Let t = -137/1309 + p. Which is smaller: 1 or t?
t
Suppose -3*h + 1100 = 5*m + 34, -4*m + 4*h + 872 = 0. Is 215 smaller than m?
False
Let n = 0.362 - 1.362. Are n and -27 unequal?
True
Suppose 4*b + 25 - 585 = 0. Suppose 3*f - s - 139 = 0, 2*s = -3*f + 4*s + b. Suppose 4*g = 2*i - 36, -5*g = -2*i - 0*i + f. Which is smaller: -11 or g?
-11
Let i(d) = 12*d - 10. Let t be i(5). Suppose -c = 4*c - 20. Suppose -a = c*a - t. Is 9 <= a?
True
Let x = 36 + 14. Suppose 0 = -5*g - u - 55, 0 = -3*g - g - 2*u - x. Which is greater: g or -3?
-3
Let p = 7 + -6.5. Let g = p - 0. Let i = 0.042 + -0.142. Which is smaller: i or g?
i
Suppose 4*s + 7 = -5. Let w be 2 - ((-8)/11 - s). Let j = 3.5 - 3.5. Is j <= w?
False
Let m = -2 + -12. Let k be 4/m - 10/14. Let g be (-20)/39 + 4/6. Which is smaller: k or g?
k
Let j = 23.27 + -23. Let u = -0.32 + j. Let x = u + -0.05. Is x greater than -8?
True
Let a(k) = k**2 - 15. Let u = -30 - -17. Let p be a(u). Let m be 2 + 0 + p/(-7). Which is smaller: m or -21?
-21
Let y = -3.7 + 0.7. Let v be (-11)/((-198)/(-68)) + 4. Is v at least as big as y?
True
Let a = -6 + 20. Let s = 13.96 - a. Which is greater: -1 or s?
s
Let d = -8.407 + 42.537. Let o = 34 - d. Let p = -0.17 + o. Do p and -1 have different values?
True
Let c = 55 + -97. Let v be (1/2)/(c/(-28)). Which is greater: v or -49?
v
Let s = -1000 - -993. Which is greater: s or 79?
79
Let v = 2269/21 + -108. Suppose -5*x + x = 0. Is v at least as big as x?
True
Let h = 1147673 - 127393166/111. Let g = h - -56/37. Let r = g + 137/12. Which is bigger: r or 0?
0
Let i = -44 - -43.59. Let j = i - 0.59. Which is smaller: j or 0.19?
j
Let n be (-18)/(-9) - (-1)/1. Suppose -y - v = y - 6, n*y = -3*v + 12. Is y > 3/4?
True
Let n = 3.9 + -20.9. Let i = n + 21. Is i > 1/5?
True
Suppose -12*b = -7*b - 5*s + 35, 2*s + 70 = -5*b. Which is greater: -99/8 or b?
b
Suppose -4*i - 16 = -2*n, 0 = -14*n + 13*n + i + 4. Let k = 10 + -7. Suppose n*h - 4*z = 2*h - 44, -30 = -k*h + 3*z. Does h = 14?
True
Let h = 10.5 + 2.5. Let b = -11 + h. Let j = -106 + 105. Are j and b unequal?
True
Suppose -3*a + 4 = a. Let d be 105/(-75) - 513/(-420). Is d at least a?
False
Let y = -866 - -1087. Is 222 at least as big as y?
True
