1.575 + -125.575. Are a and 5/7 equal?
False
Let k = -458041/14 + 32547. Let t = k + 341/2. Is -17 smaller than t?
True
Let b = 504 + -448. Suppose -y - 29 - 82 = -2*o, -4*o + 232 = -4*y. Which is greater: o or b?
b
Let w be 934/(-136)*(-4)/(-36) - 243/(-324). Is w >= -8?
True
Let j(l) = -2*l**2 - 15*l - 16. Let i be j(-6). Suppose 5*r = -2*s - i*s - 328, 80 = -r + 4*s. Is -68 bigger than r?
False
Let j be 3*2 + -3 + 0. Let h be (0 - j) + (-3 - -8). Suppose 0 = r - 3*b + 4*b + h, -5*b - 28 = -4*r. Which is greater: r or -8?
r
Let h be 0 + (-30423)/(-663) - 6/51. Which is smaller: 46 or h?
h
Suppose 3*v - 9 = 0, -5*v = 6*a - 9*v + 54. Are 220 and a equal?
False
Let z = 5528.21 - 5531. Is z at most -1.1?
True
Let j(z) = 7*z**2 + 2*z - 2. Let o be j(1). Let b(d) = 5*d - 35. Let q be b(o). Suppose -40*a + 46*a - 102 = q. Are 15 and a nonequal?
True
Let g be (171/(-4))/(-9) + (-2)/(-8). Let u be 2/(-5) - (-12)/g. Suppose -4*q + 0*l = -3*l + 4, -2*l = -u*q - 2. Which is bigger: 17 or q?
17
Let j = -7 + 7. Suppose j = -8*q + 13*q. Let v be 299/414 + 1/(18/(-4)). Which is bigger: q or v?
v
Let p = 66 - -21. Let n be p/4 - (1 + 5/(-4)). Suppose -j - 15 = n. Does j = -36?
False
Let k = -6503/5567 - -3/293. Which is smaller: -1/4 or k?
k
Let a = -3069 + -7544. Which is smaller: a or -10614?
-10614
Let t(v) = v - 1. Let p(r) = -6*r - 20. Let y(c) = p(c) + 3*t(c). Let g be y(-8). Which is smaller: g or -1/96?
-1/96
Suppose -114*u - 487155 - 1815417 = 0. Is u at most as big as -20198?
True
Let o be 0 - -1 - (12 + -14). Suppose -o*c + 80 = -8*c. Let x = c + 29. Is x not equal to 14?
True
Let v = 650878/7 + -93160. Is -176 < v?
False
Suppose -d + g + 5 = -13, 3*g = -9. Let m be -18 + 15 - ((-68)/d + 1). Let k = 3 + -4. Is k at least as big as m?
False
Suppose 4 + 5 = 5*w - 3*i, -2*i = -4*w + 6. Suppose 2*q - 4*d = 68, -q - 5*d = 2*q - 69. Let f be q/6*2/((-40)/(-6)). Which is smaller: w or f?
w
Suppose 8*x + x = -9324. Let y be (x/(-35) - 1)*5. Is 143 greater than or equal to y?
True
Let w = 5 - 9. Let z = 1240.195 - 1241. Let p = z + -7.195. Which is greater: w or p?
w
Suppose -3*b - 4*f = -79, -b - 5*f + 3*f + 23 = 0. Let s be (-5)/b + (-2)/11. Let x(l) = 28*l + 1961. Let p be x(-70). Is p greater than s?
True
Let z(g) = -13*g**2 - 12*g - 26. Let a(b) = 5*b**2 + 4*b + 9. Let y(q) = -11*a(q) - 4*z(q). Let f be y(4). Which is smaller: -28 or f?
-28
Let j be (-7)/(-56)*(160/(-182) - -2). Let p = j + -24855/364. Let l = -1270/21 - p. Which is smaller: l or 1/2?
1/2
Let z = 577003964/19 + -30343919. Let x = z - 24705. Is 6 smaller than x?
False
Suppose -h - 3*r = 4, -25*h = -20*h - 2*r + 3. Is h greater than -2/12727?
False
Let m be 6/(-6)*-7 + (-3)/1. Let i be (6/m)/((-3)/(-124)). Let c = -62 + i. Which is bigger: 6/19 or c?
6/19
Let o = -39 + 43. Suppose -60 + o = 8*p. Which is greater: 0 or p?
0
Let f(o) = 3*o**2 + 3*o + 1. Let m be f(-4). Let i = 51 - m. Let z be ((-3)/15)/(1 - i/10). Which is smaller: z or 0?
0
Let g = -404 + 390. Let m = g + 10. Are -5 and m non-equal?
True
Suppose -1150 = 13*r + 1762. Let f = -240 - r. Which is bigger: -31 or f?
f
Let g = 1167 + -12862/11. Which is bigger: g or -3?
g
Let l = 0.361 + -273.361. Let u = l - -246. Which is smaller: u or -2/21?
u
Let t = -1034.85 + 1035. Which is smaller: t or -45.3?
-45.3
Let u be 325432/2280*(4 - -1). Which is greater: 2 or u?
u
Let j = -32.53 - -21. Let w = 11.5 + j. Which is smaller: 2.3 or w?
w
Suppose 2*k = 3*f - 2993, 3*f - 3994 = -f + 6*k. Does 996 = f?
False
Let j(o) = o + 21. Let a be j(-10). Let d = -49 - -50. Suppose y - 3*c = -d, 6*c = -5*y + 2*c + 71. Do a and y have the same value?
True
Let l = 4074 - 114075/28. Which is smaller: l or 0?
l
Let b = -3 + 7. Let d = 2/299 + 877/2990. Let x = d - 47/90. Which is smaller: x or b?
x
Let v(d) = -d**3 - 7*d**2 - 3*d - 7. Let i be v(-8). Suppose -i + 65 = -z. Let w be -1*(z/10 + 15/(-25)). Which is smaller: w or -3/4?
w
Let g = -104 - -70. Let p be (2 - (-67)/g)/((-5)/(-15)). Suppose -2*b + 4*q - 2 = 0, b + 2*b - 7 = -4*q. Which is bigger: p or b?
b
Let a(g) = -g**3 + 15*g**2 - 16*g + 52. Let j be a(14). Suppose -5*m = -j*m - 14*m. Which is smaller: m or 2/661?
m
Let a(m) = -m - 2. Let g be a(-2). Let y = -75 - -74. Let l be 7 + (-8)/1 - y/10. Is g < l?
False
Suppose -3*t - 368 = 5*k, 5*k + t + t = -372. Let u be (-5 + 8)*-1*k/(-12). Which is greater: 5 or u?
5
Let b = 272 + -228. Let s = b - 58. Let g(p) = -2*p**2 + 1. Let h be g(1). Is h smaller than s?
False
Suppose -3*z = 0, -6*r = -r - 4*z - 20. Suppose o - b = 4*o - 5, -r*o + b = -9. Suppose -5*j = -o - 3. Do j and 1 have the same value?
True
Suppose -4*n - 2*u - 72 = 0, 0 = -39*n + 44*n - 5*u + 30. Let v(q) = 5*q - q - 3 - q**2 + 0*q. Let y be v(6). Which is greater: y or n?
n
Let i = 40.96188 - -0.03812. Do -25/3 and i have the same value?
False
Let d = -16177 + 16178. Which is smaller: -82/203 or d?
-82/203
Let p = -720.9 - -124.9. Let r = -515 - p. Is r smaller than -1/2?
False
Let v(x) = -46*x**3 - x**2 + x + 1. Suppose -7 = 3*y - 10. Let h be v(y). Do h and -46 have the same value?
False
Let y(z) = -z**3 + 3*z**2 + 5*z - 6. Let l be y(4). Let b be (l - -2)*3/9. Let s be (90/(-50)*-1)/(228/80). Which is greater: s or b?
s
Let m = -3/803 + -25639/15257. Let z be (-2 - -1)/(7/((-21)/(-3))). Which is bigger: m or z?
z
Let b = 3226 + -2956. Which is smaller: b or -9?
-9
Let f = -1245 + 21176/17. Let h = f - -1/51. Is -0.134 != h?
True
Let c(h) = 9*h + 163. Let b be 66*3/(9/(-1)). Let v be c(b). Do -36 and v have the same value?
False
Suppose -3*u - 2 = 145. Let x be 1 + -3 + (-9 - -1). Let j = u - x. Is j at least -40?
True
Suppose 0*w = 9*w - 99. Suppose -w*f - 224 = -15*f. Let d = f - 90. Which is smaller: d or -33?
d
Suppose 4*h + 71 = -d + 96, 2*d + 4*h = 26. Is -5/247 < d?
True
Let s = -41 - -40.98. Let i = -0.01 + -0.29. Which is greater: i or s?
s
Suppose 0 = -10*d + d + 963. Let z = -177 + d. Let m be (z/105)/(2*(-1)/111). Which is bigger: m or 38?
38
Let g = -370.0694 + 0.0694. Suppose 146*n = 145*n + 4*t + 8, n - 6 = 3*t. Is n >= g?
True
Let x = -2 + 1. Let z = 42040 + -42039.648. Is x bigger than z?
False
Let t(g) = 59*g**3 + 3*g**2 + 13*g + 12. Let c be t(-2). Is c at most -474?
True
Suppose -w + 43 + 12 = 4*m, 5*m - 85 = 2*w. Suppose 5*t + 20 = -5*c, -3 = t - 3*c - m. Which is bigger: t or -1/11?
t
Let y = -119 - -69. Suppose 11*r + 255 = 6*r. Is r less than y?
True
Let k be ((-2)/5)/((-13)/65). Suppose -13 = k*t - 5*t + 4*y, -18 = 2*t + 4*y. Is t > -42/17?
True
Let f = -30.01 - 0.09. Let l = 30.4 + f. Are l and 19 equal?
False
Suppose 0 = -4*n + 7*n - 12. Let b = 105 - 104. Let t = 7 - b. Does t = n?
False
Let b be 7/(35/(-15)) - 10/(-3). Suppose -4*s + 45 = -3*z, z - 5*s = -4*s - 15. Let y(r) = -r**2 - 16*r - 16. Let u be y(z). Is u greater than or equal to b?
False
Let f = -83 - -247/3. Let v = -24301/12 + 7783/4. Do v and f have the same value?
False
Let s = -363 + 101. Let m = s + 79. Is -2/7 at least as big as m?
True
Let r = 262 - 217. Let b = r - 239. Is b less than -195?
False
Let v = -123316/189 + 4567/7. Let c = -0.43 + 0.03. Which is smaller: c or v?
c
Let p = -1871/7 + 268. Let w = 0.3 - -6.9. Let z = w - 7. Is z less than or equal to p?
True
Let n = -958722/13 - -73848. Which is smaller: -1 or n?
-1
Let d(c) = c**2 - c - 1483. Let v be d(-38). Which is bigger: v or -4862?
v
Let z = -186 - -191. Suppose -5*b + 6*b + z*f = -5, 4*f + 8 = 0. Is -7 greater than b?
False
Let a = -9724 + 9684. Which is smaller: a or -0.13?
a
Let h(t) = 4*t + 18. Let j be h(-6). Let d be j/(-9) + (-4)/6 + -1. Which is smaller: 1/47 or d?
d
Suppose 115 = w + 2*i - 0*i, -100 = -w + i. Suppose w + 1491 = -19*n. Do -84 and n have different values?
False
Suppose -3*g - 155 = 10. Let b = g + 58. Suppose -4*m - b*q = 129, 5*m + 2*q - 5 = -175. Is m greater than or equal to -37?
True
Let t = 52 - 48. Let n be t + -3 - (5 - 8)*-2. Which is greater: n or -40/9?
-40/9
Let m(u) be the first derivative of u**4/4 - 16*u**3/3 + 8*u**2 - 21*u + 53. Let r be m(15). Are r and -75/11 non-equal?
True
Suppose -5*m - 2 = 4*c, 0 = c + 5*m - 1217 + 1240. Let l = -10341/10 - -1042. Is c bigger than l?
False
Suppose -5*v + 4*o + 12 = 0, -2*v - o + 1 = 4. Let y(q) = q**3 + 29*q**2 + 10*q + 182. Let c