True
Let d = 0.3587 + 4.6143. Which is bigger: -2/5 or d?
d
Let k = 1304 - 813. Is k less than 477?
False
Suppose 5*v - 5*r = 2*v - 4062, -4*v = 9*r + 5416. Which is bigger: v or -1353?
-1353
Let z = 144.6 - 64.6. Which is smaller: z or -10/11?
-10/11
Let o(b) = -208*b + 3661. Let k be o(12). Which is smaller: 1156 or k?
1156
Let a = -32.973 + -0.027. Let x = -1024 + 1056. Let v = a + x. Do v and 75 have the same value?
False
Suppose 2*d - 3*v + 2 = 0, 0 = -2*d - 0*v - 4*v + 12. Let u(n) = 6*n**2 - 3 + 4*n - d - 7*n**2 + 3. Let a be u(8). Are a and -36 nonequal?
True
Suppose 0 = -53*u + 24286 - 127689. Is -1952 < u?
True
Suppose -z + 349 = -8*c + 5*c, 1802 = 5*z + 4*c. Is z < 360?
True
Let j = 2369 + -2368. Is j at most -8/35?
False
Suppose 0 = -5*t, 3 = 3*c + t + 3*t. Let h = 23 + c. Let i = 22 - h. Which is smaller: -2/3 or i?
i
Let a = -31 - -80. Let q = a - 145. Let x = -97 - q. Which is bigger: 2/3 or x?
2/3
Let p = -11 + 9. Let d = -22 - -16. Let c be (-2)/(((-9)/297)/(4/d)). Which is smaller: c or p?
c
Let l(r) = 2*r**3 + 52*r**2 + 7*r + 157. Let n be l(-26). Let o(u) = -25*u**3 - u + 2. Let x be o(1). Are n and x nonequal?
True
Let t be (11*7/171710)/(5/80). Which is bigger: -1 or t?
t
Let f = 38 - 39. Let s = -7027/7 + 1004. Which is smaller: f or s?
f
Let n = 1109 + -3202. Let w = n - -85817/41. Is -1 at most as big as w?
True
Let o = 21208769/594 - 35705. Which is smaller: o or 1?
o
Let y = -3709 + 3708.189. Which is smaller: 1/3 or y?
y
Let f be 0/(2 - (2 - 2)). Let i(m) = m + 24. Let u be i(-12). Let o be ((-8)/u - f)*81/6. Which is bigger: o or -10?
o
Let b = 4339 - 1627124/375. Let x = 6083/125 + b. Let a = -49 + x. Is a < -9/8?
False
Suppose 0 = -7*i - 0*i - 133. Let r = i - -24. Let b be (-3 + 184/60)/(r/(-10)). Are 2/13 and b equal?
False
Let t = 9838 - 10045. Which is greater: t or -190?
-190
Let t be -14 - (290/(-16) + 4). Which is greater: 1/15 or t?
t
Let z(x) = -x**2 - 19*x - 28. Suppose 503*t = 502*t - 18. Let v be z(t). Let a = -31 + 20. Which is bigger: a or v?
v
Suppose -12*p + p - 31976 = 28513. Is p smaller than -5500?
False
Let j be ((-16)/3 + 6)*6. Suppose 3*a = -3*k + 7*k - 47, 0 = k + j. Which is smaller: 1 or a?
a
Let c = 9/142 + -7553/426. Which is smaller: c or -18?
-18
Suppose -5*y - 2*i + 4807 = 0, 57*y - 4*i + 3848 = 61*y. Which is smaller: y or -1/3?
-1/3
Let p be (-13 + 14)/(42621 + 2). Let v = p - -11835/14619689. Let y = 19892/2401 + v. Which is bigger: y or 8?
y
Let u = 153 + -348. Let w = -195 - u. Which is greater: w or 10?
10
Let c(i) = i**3 + 4*i**2 - 6*i - 11. Let q be c(6). Let s = q + -313. Which is smaller: s or 4/5?
s
Suppose 0 = -2*l - 4*d + 194, -5*l + 4*d = -2*l - 331. Suppose -c - y - 21 = 0, 5*c - 7*y = -3*y - l. Let n be (-3)/c*9 + -1. Is -0.1 bigger than n?
False
Let q = 46290 + -46290. Which is smaller: q or -34303?
-34303
Let f be 9 + (-3)/6*18. Let l be -51*3/6*2. Let k be f/(((-17)/l)/(1/(-6))). Is k less than or equal to 6/11?
True
Let j be 5 + (-60)/(-21) + -7. Let r = j + -44/35. Let q be (-4)/(-14) - 8/14. Is q greater than r?
True
Let h(j) = j**3 - 8*j**2 - j + 2. Let n be h(8). Let l be 208/50 + 1 + n + 1. Which is bigger: 0 or l?
l
Let p(k) = 6*k**3 - 4*k**2 - 31*k + 34. Let n be p(1). Is n greater than 155/29?
False
Suppose 608 = 8*z + 11*z. Suppose 4*x - z = 4*f, -4*f - 8 = x + 4. Which is smaller: f or -40/9?
-40/9
Let g(k) = -k**2 - 21*k - 20. Let d be (-14)/63 + 338/(-18). Let s be g(d). Let f = s - 71/4. Is f < 2?
True
Let q be 9/(8 - -1) + (1 - 0)*0. Is -17/156 greater than q?
False
Let w = 19746 + -19869. Is w at least 2/115?
False
Let t = -40575/152 - 5542/19. Do t and -560 have different values?
True
Suppose -5*k - 2*m = -4*m - 75, m = 4*k - 60. Let g = 3 - 2.1. Let x = g + -0.9. Are k and x unequal?
True
Let f(q) = -360*q + 201. Let m be f(-3). Which is greater: 2563/2 or m?
2563/2
Suppose -1229090 = -938*h + 760*h. Is 6905 equal to h?
True
Let f = 161/19 - 10576/1349. Is 2 smaller than f?
False
Let n = -13750 - -12613. Which is smaller: -1138 or n?
-1138
Let o(l) = -l**3 - 11*l**2 - 23*l - 81. Let i(r) = r**3 + 4*r**2 - 19. Let y be i(-3). Let a be o(y). Suppose 0 = 5*c - 308 + 68. Which is smaller: c or a?
c
Let y(b) = -2*b**2 + 28*b - 44. Let t be y(10). Suppose 53*m + 68 = t*m. Which is smaller: m or -16/5?
m
Let y = 155 - 45. Suppose 5*b - y - 7 = -3*a, -5*b + 5*a = -85. Let o = b - 18. Which is smaller: o or -1/3?
-1/3
Let i = 1057.1 - 1057. Is -27 greater than or equal to i?
False
Let g be ((-1)/3)/(1/3). Let f(t) = -5*t**2 - t - 2. Let p be f(-1). Let m be 3/(18/p) + (-87)/(-90). Are g and m nonequal?
True
Let m(b) = b**2 - 46*b + 239. Let s be m(6). Let c be 434*((-18)/4 + s + 5). Which is smaller: c or -216?
c
Suppose -3*a = -2*o, 5*a = o + 4*a. Let z(m) = -m**2 - 49*m - 428. Let u be z(-12). Are u and o nonequal?
True
Let s = -3083 + 94. Is s smaller than -2989?
False
Let c be 27/((-42768)/(-1380762)) - (0 - 2/11). Is 873 at least as big as c?
True
Let p be -1*2 - (-3 + 2). Let a = 175 + -175. Let y be (3/(-10))/(3 - a). Is p <= y?
True
Let n = -11175.03 + 11175. Are n and 74 non-equal?
True
Let x(l) = -l + 5. Let b be x(7). Let a be 3/((-21)/9 - b). Let s be (a/(-99))/(2/(-6)). Which is bigger: 1 or s?
1
Let g = -4.117 + -0.943. Is g at most -2/7?
True
Let r = -65/42 + 45/14. Let k = -0.104 + -0.296. Which is bigger: k or r?
r
Let k be ((-18)/15)/((-3)/10). Let a(r) = -r**2 + 3*r + 5. Let z be a(k). Is 1 greater than or equal to z?
True
Let i(o) = -o**2 + 15*o - 4. Let z be i(14). Let d = 81/8 - z. Let y = 0.02 + -0.02. Which is smaller: y or d?
y
Suppose -5*f - 75 = -2*f. Let w = f - -24. Let u be 60/6 - 4984/498. Which is smaller: u or w?
w
Let g = 2.3 + -0.6. Let t = -0.12 - -1.42. Let s = t - g. Which is smaller: s or 0.5?
s
Let v = 4316 - 3781. Which is smaller: v or 541?
v
Let g be (-3 + 81/(-21)*-1)/3. Let z = -95.5 + 70.76. Let h = z - -25. Which is greater: h or g?
g
Suppose 2*m + 2*z - 8 = 0, -4*m + 2*z = -0*m + 14. Which is smaller: 1/19 or m?
m
Suppose -5*p + 335 = 48*o - 50*o, -o = -p + 64. Which is greater: 56 or p?
p
Let g = 2547 + -2546.9. Which is smaller: 6/113 or g?
6/113
Let x = -97 - -182. Let d = -91.3 + x. Let n = 2.7 - d. Is n greater than 3?
True
Let v be -10 + (-1127)/21 + -8. Do -8 and v have different values?
True
Let y = 23741 + -23567. Which is smaller: y or 15?
15
Let v = -0.2261 + 0.312. Which is greater: v or 2?
2
Let u be -125 + -2 + ((-34)/(-30) - 14/105). Are u and 14 nonequal?
True
Let p = -173 - -187. Suppose -4*v = v + 2*b - 5, 0 = -4*v + 2*b - p. Is v at most as big as -30/23?
False
Let w(y) be the third derivative of -y**6/120 + y**5/6 - 5*y**4/24 + 5*y**3/3 + 23*y**2 + y. Let q be w(9). Does q = 42?
False
Let d be (-14)/(-1)*(3 - (9 - -44)). Let v be 3 - (-2384)/d - (-10)/35. Which is bigger: v or 1?
1
Let o(h) be the first derivative of h**3/3 - 15*h**2/2 + 21*h + 10. Let w be o(13). Let n be (0 + (-18)/(-15))/((-2)/w). Which is bigger: n or 4?
4
Let q(x) = -x**3 - 5*x**2 - 4*x + 4. Let g be q(-3). Let d be g*(26/(-195))/((-1)/(-80)). Which is greater: 21 or d?
d
Suppose -2*j + 197*f - 201*f = 214, -2*f = -j - 87. Which is bigger: j or -74?
-74
Suppose n = h + 10 + 29, -h = -3*n + 105. Is n >= 39?
False
Let t be -8*(-20 - (-2862)/144). Is -6/1603 greater than t?
False
Let a = -64.28 - -64. Let b = -0.6 + 1. Let f = a + b. Do f and 0.1 have different values?
True
Let v(r) = 6*r**2 + 8*r - 1. Let x be v(-3). Suppose 27 = 2*i + x. Let q be (-6)/44 - i/2. Which is bigger: q or 2?
2
Suppose -p - 2*m - m - 9 = 0, 4*m + 12 = -5*p. Suppose -95 = -w - p*w. Is 95 less than or equal to w?
True
Suppose 2*f + 100 = u - 116, -447 = -2*u - f. Suppose 0 = u*j - 219*j + 6. Which is greater: -1 or j?
-1
Let o = -118793249450/9269 - -12816188. Let s = -2/713 - o. Is 1 smaller than s?
False
Suppose -4*c - 195 = -5*l + 82, 0 = -c + 2*l - 70. Let f be c/119 + 190/308. Are f and -1 equal?
False
Let v(s) = 6*s**3 - 25*s**2 + 58*s - 8. Let c be v(4). Which is smaller: 202 or c?
202
Suppose 0 = 405*s - 461*s. Let n be ((8/287)/(-4))/1. Is s bigger than n?
True
Let q(g) = g**2 + 7*g + 8. Let o be q(-6). Suppose o*w - 6*w + 88 = 0. Let h = -0.751 + 0.651. Which is bigger: h or w?
w
Suppose -2*s = -9 + 1. Let j be (-1)/(-4) - ((-147