463.3 - -463.5. Which is smaller: k or -0.9?
-0.9
Suppose 566*s - 5775 = 569*s. Is s != -1926?
True
Suppose -37*l + 85 = -26. Let m = 34 - 30.2. Is m < l?
False
Let v(u) = -243*u + 35. Let g be v(2). Let y = -7676/17 - g. Which is greater: -1 or y?
y
Let d = 66075 - 3633898/55. Let g = -1448/3 + 16150/33. Let y = g - d. Is 2 >= y?
False
Let j = -183 + 97. Suppose 1016 - 263 + 1052 = -19*f. Let x = f - j. Is x at least as big as 2/7?
False
Let g = 20 + -9. Let q = -12 + g. Let y = -7842/37 + 212. Which is smaller: q or y?
q
Suppose -3*g + 235 = 5*y + 2*g, -45 = -y - 3*g. Let x = -23 + y. Let c = x + -25. Is 1 at least as big as c?
True
Let b = 223 - 366. Let s be 30/165 - (-37)/b. Is s != -0.1?
True
Let l(j) = -j**2 - 23*j - 93. Let o be l(-5). Let b be (-30)/(-36) - (-1)/o. Which is bigger: b or -1/4?
b
Let a = 2791 + -2791. Is -6/515 at most as big as a?
True
Suppose -2*x = -3*a - 3, 5*x + 12 = -a + 2*a. Let w be (-3)/(-6) - x/6. Which is smaller: 2/57 or w?
2/57
Let h be 7/(-6)*20/(-35). Let c = 93 + -93.013. Let a = 0.713 + c. Which is bigger: a or h?
a
Let y be (-9810)/1550 - (44 - 51). Is y greater than 1?
False
Let c = 543.3 + -543. Is 4.92 at most as big as c?
False
Suppose 175 = 5*k - 5*t, -68 = -4*k + 5*t + 67. Let d = 0.118 + -0.118. Are d and k equal?
False
Let o(a) = 15*a + 86. Let m be o(-5). Suppose -m*p = -199 - 1517. Do -2 and p have different values?
True
Let f = 39/284 - 15579/51404. Is f > 1?
False
Let a(i) = -i**2 - 1. Let v(q) = 19*q**2 + 5*q + 4. Let k(y) = -a(y) + v(y). Let s be k(-2). Let u = s - 93. Is u less than -52/3?
True
Let m be (-4)/16 - (3 + 3351/(-12)). Let p = -264 + m. Which is bigger: p or 6/7?
p
Let u(l) = 41*l - 657. Let w be u(16). Which is smaller: 2/5265 or w?
w
Let m(r) = r - 5. Let f be m(4). Let x = -9064 + 117828/13. Which is greater: f or x?
x
Let i = -81 + -278. Let f = i + 360. Is 2/467 greater than f?
False
Let v = 28 - 140. Let y be 5/((-20)/v) + -3. Let a = 29 - y. Which is smaller: a or -1/6?
-1/6
Let d = 31.268 + -31. Let b = d - -0.022. Let p = b - -1.71. Which is smaller: 25 or p?
p
Let x be 0 + 3 + 654/(-3). Let c = x + 372. Which is bigger: c or 156?
c
Let m = -2/413 - 1586/13629. Do -6/7 and m have the same value?
False
Let b(n) = n**3 + 8*n**2 + 6*n + 45. Let r be b(-8). Let k be (-268)/(-1704) + r/18. Which is smaller: k or -1?
-1
Suppose 47*p - 2692 = 45*p. Let x be (-4 - p/18)/(-1). Let z = x + -79. Which is greater: z or 1?
1
Suppose -4*l + 6*l - 2*f = 1352, 2*l - 4*f = 1348. Let h be (-3)/(-4)*(682/l - 1). Which is smaller: h or 0?
0
Let y be (-3)/(18 + (-357520)/19860). Which is greater: y or 1489?
y
Let c = -8321/10 - -776. Let m = c + 273/5. Which is smaller: 29 or m?
m
Let d(w) = w**2 - 16*w - 49. Let v be d(19). Suppose v*s = 17*s + 81. Which is smaller: 0 or s?
s
Let m = -1 + 0.4. Let a = -0.01111 - 0.40029. Let v = a + -0.0886. Is m less than or equal to v?
True
Suppose 140*a = -192*a - 3738494 - 4703602. Is a smaller than -25427?
True
Let c be 1300/(-975)*12/(-3394). Are 0 and c unequal?
True
Let r be 0/(-1)*(-1)/1 - (-6 - 981). Is 992 less than or equal to r?
False
Let v = -6722/7 - -960. Which is smaller: v or -20?
-20
Let q(w) = -w**2 + 23*w + 26. Let s be q(24). Suppose 5*l - 16 - 4 = u, 8 = s*l - 2*u. Suppose 0 = -0*m - 3*m + 27. Which is bigger: l or m?
m
Let h(p) be the first derivative of p**2/2 + 4*p + 9. Let l be h(-3). Let r = 33/46 - 16/23. Is l less than or equal to r?
False
Suppose 108 + 22 = 26*b. Suppose 2*w - 474 = 2*s, -b*w + 523 + 424 = -4*s. Is s at most -238?
True
Let o be (-21)/(1/(-8)*-2). Suppose -21*p - 424 = 4*x, -p = 2*x + 130 + 44. Are x and o non-equal?
True
Let w be 4/38 + (-121584)/1292. Are w and -97 unequal?
True
Let s = 11918 - 11673.9. Are s and -1/7 unequal?
True
Let w = -62/17 - -107/34. Is w < 455/3?
True
Let m be -7 - (4 + 0 - 10). Is m less than -54/35?
False
Let q(i) = -30*i + 76. Let t be q(3). Let g be (-2 - -4)/(4/10). Suppose -5*f = -3*o - 0*o + 69, -4*o - 48 = g*f. Is f greater than or equal to t?
True
Let w = -87 + 91. Let i(f) = f**3 - 9*f**2 + 7*f + 18. Let d be i(8). Suppose 0 = -w*r - 26 + d. Is r not equal to -4?
False
Let j = 0.48 + -4.18. Let l = j + 3.8. Let q = 1/2 + -9/26. Is l < q?
True
Let n = -2/3 - -1/6. Let q be ((-11)/13 - 8/52)*(9 + -8). Which is smaller: q or n?
q
Let x(d) = -d**2 - 3*d + 14. Let y be x(-5). Let v be y*5/(165/(-6)). Let m be (-7)/(-21) - (-2)/(-6). Does v = m?
False
Suppose -4*s + 5*v + 15 = -9*s, -11 = 5*s + 3*v. Which is smaller: s or -3/2981?
s
Suppose 0 = 2*n - 5*a + 13 - 88, 0 = 2*a + 10. Let y = n + -20. Suppose 20 = -y*s, 7 = 5*u - 2*s + 4. Which is greater: u or 1/34?
1/34
Let o be (-10)/(-30) - (-16)/6. Suppose 0 = o*c - 11 - 4. Suppose 0 = -j + c*a, -a = 2*a. Which is bigger: j or 3/47?
3/47
Let z be (-3 - 15389/(-5115))/(1/(-1461)). Let q = z + 26/155. Which is smaller: q or -13?
-13
Suppose -52*h + 5908 - 1540 = 0. Is 87 smaller than h?
False
Let q(d) = -d**3 - 3*d**2 + 7*d + 11. Let x(n) = n**3 + 2*n**2 - 6*n - 9. Let f(g) = -4*q(g) - 5*x(g). Let y be f(-1). Do y and 4/5 have different values?
True
Let s = -7.3 + 7.349. Let g = 0.851 + s. Let v = -1.9 + g. Which is bigger: v or 3/32?
3/32
Let o be (3 - (-4 - -4)) + -1. Let m = o + -3. Let q be 9/5*(-3)/18. Which is bigger: q or m?
q
Let t = 5 + -3. Suppose 4*x - 35 = x - t*y, -5*x = -3*y - 33. Suppose 0 = 8*i - x - 7. Is i >= 10/13?
True
Suppose 4*v - 4 - 4 = 0. Suppose -2*m = 4*a - 104, v*m + 8*a = 3*a + 105. Which is smaller: 52 or m?
m
Let k = 41 + -43. Let i be (k/(-24))/(51/12 + -4). Is 12/49 equal to i?
False
Suppose -265*l = -263*l - 8. Let x(i) = -2*i**3 + 6*i**2 - 6*i + 9. Let y be x(l). Is -47 at most as big as y?
True
Let c(g) = -8*g**2 - 4*g**2 + 17*g**2 + 10*g + 26 - 5*g**2 - g**2. Let k be c(12). Are 44/21 and k non-equal?
True
Let x = -88 - -95. Suppose 0 = -o - x*o + 632. Let j be -2 + (1 - 3) + 5. Which is bigger: j or o?
o
Suppose -15*q + 41 + 4 = 0. Let c be 6/424*(-8)/72*q. Is -1 less than or equal to c?
True
Let p = -48 - -55. Let a(w) = -3 - p - 3 + 5*w + 11*w. Let m be a(2). Is m less than or equal to 18?
False
Suppose -t + 1932 - 1756 = 0. Is -20 greater than t?
False
Let l(r) = 7*r + 2. Let c be l(-4). Let q = 31 + c. Suppose q*v - 3*p - 5 = 0, -v + 1 = p - 5*p. Which is greater: v or 6/25?
v
Let f = -106 + -19. Let t = f - -42. Let r = -83.4 - t. Which is smaller: 2/7 or r?
r
Let u = 12 - 11.9. Let f = 79 - 65. Which is bigger: u or f?
f
Suppose 8594 = 2*g - 3*z - 5617, -4*g = -z - 28447. Which is smaller: 2 or g?
2
Suppose -41 = -5*u - 4*v, v - 10 - 9 = -3*u. Suppose 0 = -y + 5*y - 5*d + 279, -d = u*y + 327. Let h be -3*(0 + (-140)/y - 2). Is h <= -1?
False
Let c(f) be the second derivative of 79*f**3/6 + f**2 + 120*f. Let j be c(3). Does j = 0?
False
Let i = -36 + 28. Let p be (-5 - (i + 5 - 3))/(-1). Is p bigger than -3/71?
False
Let k(w) = -15*w - 24. Let d(u) = 5*u + 8. Let x(j) = -17*d(j) - 6*k(j). Let c be x(-2). Let i = 2686/11 + -244. Which is bigger: c or i?
i
Let x = -912 - -913. Let j be (-6 - -8)/(2/x). Let w be ((-4)/42)/((-13)/3). Are w and j nonequal?
True
Let z = 6/205 + 44/12505. Is -1.8 >= z?
False
Let q(i) = i**2 + 15*i - 32. Let k be q(-17). Let s be 2/(-3)*-3*k/26. Which is smaller: 0.07 or s?
0.07
Let w = 8.43 + 43.37. Is w at most as big as 0.01?
False
Let i = -1556 + 2837. Which is smaller: i or 2/13?
2/13
Let m be (31 + -11)*(-1)/(-2). Suppose m = -5*q, 12 = 2*y - 4*y - 3*q. Which is greater: -1 or y?
-1
Let b be (6 - (18 + -9)) + 672/50. Are 10 and b equal?
False
Let g = 386959789/1575964 + -1/121228. Which is greater: g or 246?
246
Let m(q) = 3*q**2 - 98*q - 1139. Let j be m(41). Is j bigger than 56?
False
Let l = -61.074 - -61. Let x = 15914 - 15914. Does x = l?
False
Let r = -7320 + 7379. Let k = 146/315 - 4/63. Is k at least r?
False
Let y = -406079640002/1847268996165 + 2/245810911. Let b = 2/835 - y. Which is smaller: -2 or b?
-2
Let f be ((-3)/(-3) - -7253) + 0 + 5. Let x = 43351/6 - f. Which is smaller: -33 or x?
x
Let h = -60.66 + -1.34. Let o = h - -68.9. Let w = 7 - o. Is w greater than 0.38?
False
Suppose -5*d = -o - 2*d + 271, -o + 4*d + 276 = 0. Let c(n) = -101*n - 352. Let a be c(-6). Which is bigger: a or o?
o
Let i = -18.1756 + 1.1756. Which is smaller: i