Which is smaller: o or -2?
-2
Let u = -192 - -192. Let q = -138/139 + 632564/3475. Let d = q - 181. Which is smaller: d or u?
u
Let w = -1457 + 13099/9. Suppose -226*o = -190*o + 108. Is o at least w?
False
Let x = 1.33 + -1.1. Let u = 397 + -391. Which is greater: x or u?
u
Let x be 5/5*22/(-2). Suppose -2*i + 12 = -4*q, 3*q + 2*i + 4 = i. Let v be -1 - (-34)/(-4) - (-1)/q. Which is greater: v or x?
v
Let a = -85 + 257/3. Let k = 69.1 - 8.1. Is k < a?
False
Let j = 8942.62 - 8942. Is j at least as big as 18?
False
Let y(u) = -2999*u + 608. Let k be y(1). Do -2389 and k have the same value?
False
Suppose q + 1267 = 4*z, -35*q - 325 = -z - 32*q. Which is smaller: 304 or z?
304
Let l = -30.38 + 30. Let i = 76.38 + l. Let y = -75 + i. Is -1/44 > y?
False
Suppose -400*b + 405 = -395*b. Is b <= 13?
False
Let c = -0.55 - -10.75. Suppose 3732*b = 4271*b. Is c equal to b?
False
Let i = 3462 - 1437. Which is greater: 2/7 or i?
i
Suppose 0 = -5*p + 3*b - 255, 2*p - 5*b + 102 = 0. Let r(v) = -5*v - 64. Let s be r(-3). Which is bigger: p or s?
s
Let y = 804 - 745. Is y smaller than 8/9?
False
Suppose 8*w - 10*w - 4*x + 384 = 0, 2*x = 4*w - 728. Suppose 23*f + w = -92. Which is smaller: -90/7 or f?
-90/7
Let v = 21525/358 + 22/537. Let l = v + -60. Is l > 0.06?
True
Let n be 0 - (1 - 0) - 3056/(-272). Which is greater: n or 9?
n
Let q = 279.3 - 49.3. Let p = q - 225. Which is smaller: -1.7 or p?
-1.7
Let u be (27/81)/((-86)/(-84) - 1). Suppose 4*s - 9*z + u*z + 21 = 0, z = 4*s - 9. Let d be 2/(-1)*2/24. Which is smaller: d or s?
d
Let i(b) = -5*b**3 + 14*b - 9. Let s be i(4). Let d be 8 + (-306)/39 + 198/s. Is d less than or equal to -1/32?
True
Let s be (15/(-10))/((-3)/1564) + 3. Let v be s/(-70)*1*(1 + 0). Let r = -68/7 - v. Are 0.13 and r equal?
False
Let q be 184/(-64) - (-6)/(-4). Suppose -23*b - 82*b + 25*b = 240. Which is bigger: b or q?
b
Let a(p) = 134*p + 1205. Let o be a(-9). Is o greater than or equal to 1/2339?
False
Suppose 12*s = 2 + 12 - 2. Is 15/119 at least as big as s?
False
Let t(o) = -14*o**2 - 6*o + 1. Let v be t(0). Which is bigger: v or 2/2125?
v
Suppose 36*g - 32*g - 76 = 0. Suppose g*s - 22*s + a + 429 = 0, 3*s = 4*a + 438. Is s at most as big as 141?
False
Let v(h) = 15*h**2 - 3*h + 2026. Let c be v(0). Is 6077/3 at least c?
False
Let w be ((-602)/215)/((-2)/5). Let u = 1 + 1. Suppose y = -w + u. Is -3 >= y?
True
Let m be (-3)/(-6)*(17 + -17). Suppose -6*i + 213 + 213 = m. Is i < 496/7?
False
Let w(t) = -641*t + 3609. Let j be w(7). Which is greater: -877 or j?
-877
Let i = 55 - 225. Let y(g) = 2*g**3 - 361*g**2 + 158*g + 3959. Let w be y(180). Is i greater than w?
False
Let n be -6*(5584/432 + -13) + (-5882)/(-9). Which is smaller: 670 or n?
n
Suppose 4*u = -r - 651, 5*u = 2*r + 3*r + 3405. Is -672 greater than r?
True
Let g be 3 + (2/25 - (-586326)/(-325)) - -3. Is g greater than -1798?
False
Let n be -112 + -4 + 9 + -13. Let v be n*(0 - 12/(-18)). Let u be 1 + 0 - (82 + -2). Which is smaller: u or v?
v
Suppose -4*i + a - 3*a - 6 = 0, 0 = i - 4*a - 21. Suppose -k + 2 = -2*k. Let s be -2 + 41/(-2) - i/k. Is -23 at least as big as s?
False
Suppose -3*u + 5*i + 4 - 12 = 0, -4*i - 11 = 15*u. Which is smaller: 1/20157 or u?
u
Let d = -14327/3 - -4718. Let y = -377 + 319. Let r = d - y. Is r < 1?
True
Suppose -4*p + 2*v = -68, p + v - 3*v - 20 = 0. Let s(d) = d**3 - 15*d**2 - 18*d + 20. Let g be s(p). Are -14 and g unequal?
True
Suppose -2*j + j = 0. Suppose -2*f - 7 = -19. Suppose -f*v + 2 = -7*v. Is v greater than j?
False
Let c be (-7 + 1445/245)/((-6)/28). Let u be (-3)/9*0 + 2. Suppose -3*n - 3*l + 27 = -0*n, -3*n - u*l + 24 = 0. Which is bigger: n or c?
n
Suppose 2*u + 5*q - 4318 = 1656, -u + q = -2987. Which is greater: 2988 or u?
2988
Let h = 24 + 39. Let n = h + -31. Let a = 55 - n. Is 22 < a?
True
Suppose 7*f = 7 + 21. Suppose -f*d = 56 + 20. Is -22 at most as big as d?
True
Let b = -320 - -322. Suppose -n + g = 3*g - 36, -2*n + b*g + 96 = 0. Which is bigger: n or 46?
46
Let u = 22560 - 22559.91. Is -450 less than u?
True
Let m = 15506561/221 + -70165. Which is bigger: m or -1?
m
Let r(j) = -7*j**2 - j**3 + 0 - 13 - 4*j + j - 5*j. Suppose 10 = -12*p - 62. Let i be r(p). Are -9 and i equal?
False
Suppose 2*d - 225 = 5*c, -2*d - 2*c = -59 - 201. Let l = 125 - d. Are l and -22 unequal?
True
Let f be (-810)/45 + (10 - 0) - 1458/(-182). Suppose 0 = s + 3*s. Is f greater than s?
True
Let p = -16480 + 16477. Which is smaller: 296 or p?
p
Let a be (-1)/2*(-504 - -12). Let u = 244 - a. Which is greater: 16 or u?
16
Suppose -2*m + 4*q - 12044 = 0, 24018 = -4*m + 114*q - 116*q. Is m > -6008?
False
Suppose 10*z = -8*z - 180. Let c(s) = -s**3 - 9*s**2 - 11*s - 8. Let j be c(-8). Let f be (z/(-4) - 1)*j/(-57). Which is bigger: f or 0?
0
Let h = -331 + 313. Let t be (3 - 52/20)*(-6)/h. Are t and 0 nonequal?
True
Suppose a - 3*h - 5 - 1 = 0, 0 = 4*a - 4*h - 24. Let k be ((-8480)/(-24) - 2) + (-2)/a. Suppose 11 = -10*m + k. Which is smaller: 36 or m?
m
Let w be -135 + -1 - (8 + (-2 - 7)). Let l be 16/(-93)*w/60. Which is smaller: l or -1?
-1
Let k = -15853 + 16672. Is 816 greater than k?
False
Let y(v) = -v**2 - 4*v - 2. Let z be y(-9). Let k = z + 58. Let l = k + -101/9. Which is greater: l or 0?
0
Let r = 46 + -32. Suppose 7*y - r + 7 = 0. Let s = 679 - 50247/74. Is y <= s?
False
Let h(a) = a**3 + 11*a**2 + 12*a - 10. Let q be h(-9). Suppose 3*x + 4*u = 78 + 67, -5*x - 4*u + 231 = 0. Let s = q - x. Are 7/3 and s equal?
False
Suppose 2*x - 5*f - 8 = 0, -4*x + 3*f = -177 + 175. Which is greater: x or 2/263?
2/263
Let a(k) = -4*k**2 + 186*k - 1664. Let i be a(10). Are i and -1835/9 non-equal?
True
Let j be (2/1 - 1)*0. Let x = 29269/15 + -1965. Let w = 14 + x. Is w equal to j?
False
Let u(t) = -t**2 + 10*t - 21. Let o be u(7). Suppose 3*j - 6*j + 770 = a, -3*j = -2*a - 782. Let f = -2841/11 + j. Do f and o have different values?
True
Let u = 24.58 + -23.58. Is -802/3 bigger than u?
False
Let j(a) = -61*a + 2076. Let m be j(35). Is -2/161 < m?
False
Let l be (3 - 9)*(-1)/(-2) - 18. Let b be (1 - 3)/((-2)/22). Let v = b + l. Which is smaller: 9 or v?
v
Let w(x) = -4*x - 132. Let l = -169 - -155. Let f be w(l). Is -76 equal to f?
True
Suppose 4*p + 30*q - 25*q = 628, 2*p = -5*q + 324. Which is smaller: p or 157?
p
Let p = 2.448 - -2.552. Which is smaller: 43/11 or p?
43/11
Let d be (-8)/(-6)*(60/56)/(-5). Let z = 155 - 1081/7. Let b = z - 23/28. Is b less than d?
False
Suppose 36114 = -5*s + 36049, -2*s = -3*g + 77. Let o = 2 + -3. Which is smaller: g or o?
o
Let s be ((-3)/119)/(103/(-48307)). Which is greater: s or 12?
12
Let i(b) = -11*b**2 + 4*b + 69. Let m(j) = 7*j**2 - 3*j - 46. Let t be 6 - 2*(-4 + 3). Let w(l) = t*m(l) + 5*i(l). Let r be w(7). Which is smaller: r or 1?
r
Let j be 2714/56 - (-4)/14. Let i be 3/4*16/48 - (-2292)/48. Which is smaller: j or i?
i
Let r = -0.00008 + -1.99992. Which is greater: 532 or r?
532
Let y(d) = -d**2 - 3*d + 4. Let c be y(-4). Let k be (c - -1)/(2/(-4)). Let a be 40/22 + -4 + 2. Is k greater than a?
False
Let z be (4 + 124/(-12) + 6)*-6. Let s(y) = 4*y**3 + y**2 + 2*y - 6. Let t be s(z). Which is smaller: 33 or t?
33
Let t(w) = -w**3 - 33*w**2 + 107*w - 31. Let i be t(-36). Suppose 54 + 131 = i*h + 5*l, 0 = -3*h + 3*l + 141. Is 41 equal to h?
False
Let z = -45202 + 45184. Let j be 2/5*20/(-32). Which is smaller: j or z?
z
Let j(f) = f**2 - 3. Let o be j(-3). Suppose -38 = -c + 5*a, o*c - 86 = 3*c + a. Suppose 0 = -3*i + 7*i - c. Is 9 greater than i?
True
Suppose -5*l = 2*n + 2*n + 696164, -2*l = -2*n - 348100. Let p = -4001630/23 - n. Let w = 62 - p. Is w <= 0?
True
Let l(n) = -3*n**3 - n**2 - n - 2. Let f be l(-2). Suppose 628 = 65*s + 823. Which is smaller: s or f?
s
Suppose -5612 = -4*g + 8*g. Let o = 21058/15 + g. Is 2 at most as big as o?
False
Let n = 13669 + -13666. Let y = 2/15 - -1/5. Which is bigger: y or n?
n
Let v = -6/2323063 - -14526116749/1475145005. Let l = 6/127 - v. Which is greater: l or -2/9?
-2/9
Let l(t) = t**3 + 16*t**2 - 7*t - 106. Let o be l(-16). Suppose i - o = 6*i - 2*y, -4*i - 12 = -4*y. Is i bigger than 2/141?
False
Suppose -3*z + 23 = a - 16, z + a - 15 = 0. Let p = 195041/5 + -38996. Which is smaller: p or z?
z
Let v = -4560 - -3624. Which is bigger: v or -938?
v
L