)/s - 4). Let f = 30 - j. Which is smaller: -12 or f?
-12
Suppose 205*y + 94403 = -47*y + 18803. Suppose 5*p - 20 = -u, 4*p + 8 - 24 = -3*u. Which is smaller: y or u?
y
Let t = -13.43 + 421.93. Let x = t - 414. Suppose -i = 4*p, -2*p - i = -3*p. Is p >= x?
True
Suppose 526*t - 232420 = 506*t. Is 11621 bigger than t?
False
Let c(l) = -2*l**3 - 13*l**2 - 18*l - 16. Let a be c(-8). Which is bigger: a or 323?
323
Let o = -29732 + 24855949/836. Which is bigger: o or 1?
1
Let g = 2376 - 3546. Which is smaller: -0.2 or g?
g
Suppose -6*q + 4*q = -5*c - 278, 2*c + q + 104 = 0. Let o = -57 - c. Let a be o/(-2) - (-1071)/(-666). Which is greater: a or 1?
1
Let s = -258 - -255. Let g be (714/28)/17*58/s. Which is greater: g or -23?
-23
Suppose -3*l - 6 = -0*l. Let x(b) = b**2 - 75*b + 705. Let z be x(64). Which is bigger: z or l?
z
Let g = -48 + 50. Suppose -4*k + 4*f = -8, -4*f + g*f - 16 = -5*k. Which is greater: k or 7?
7
Let c be (-3)/2*(-16)/(-3732). Let p(i) = i**3 - 23*i**2 - 25*i + 24. Let a be p(24). Which is greater: c or a?
a
Let u = -16864 - -16916. Is 76 greater than u?
True
Let r = 99 + -67. Suppose r = 2*o + 20. Suppose -o*m + 5 = -1. Which is smaller: -3/41 or m?
-3/41
Let y be 1*28*4/(-6)*-306. Let p be 2427/y + (-2)/(14/3). Which is greater: 1 or p?
1
Let n = -517 - -522. Suppose 3*d + 5*m - 2 = 4*m, 0 = n*d + m. Does d = -48/23?
False
Suppose -9*h + 1071 - 450 + 936 = 0. Which is smaller: h or 187?
h
Let d be -7 + (13/(-28))/((-56)/53984). Which is bigger: d or 442?
442
Let o(z) = z**3 - 10*z**2 - z + 4. Let r be o(5). Let l = r - -126. Which is greater: 4/5 or l?
4/5
Suppose 86*o + 32 - 290 = 0. Let u(a) = a**3 + 5*a**2 + 2*a - 3. Let n be u(-4). Suppose -2*r + n*r = k - 10, o*k - r = 70. Is k equal to 25?
True
Let f be (3 + 3)/(-1 - -3) + 2. Suppose j - 4*g - 6 = -2*g, -5*j = f*g - 90. Is j greater than or equal to 20?
False
Let n(c) = 40*c**3 - 2*c**2 + c + 2. Let u be n(-1). Let x = u - -49. Suppose -5*p = -x*p + 42. Do p and 14 have different values?
False
Let c be 283458/(-128940) + 22/10. Which is greater: c or 0?
c
Let m = -0.1 - -0.2. Let d = 41.12 - -168.98. Let w = d - 210. Is m greater than w?
False
Let r(m) = m + 39. Let s be r(13). Let d be ((-9)/18)/(2/s). Is -162/13 > d?
True
Let w = 462 + -454. Let n be (-453)/(-240)*2 - 3/w. Which is smaller: n or 3?
3
Let q(r) = -104*r - 2490. Let g be q(-22). Which is greater: -196 or g?
-196
Let l = 2238 + -2113.3. Let g = l - 125. Is g less than -29?
False
Let g = -3 + 6. Let c be (1062/27)/(2/g). Suppose -2*o + 1276 = 20*o. Which is bigger: o or c?
c
Let v = 26297 + -2419123/92. Is 3 less than v?
False
Suppose -9*f = -36*f + 15957. Is f smaller than 589?
False
Suppose 5*h + 4*m = 47, 2*h - m = -h + 18. Suppose 0 = -38*g + h*g + 341. Is g > 18?
False
Let s(n) = 60*n - 5. Let b be s(2). Suppose -x - b = 229. Let o = x - -1383/4. Which is smaller: o or 1?
1
Let l = 1.025 + -1.4. Let d = 194 - 194.075. Let u = d + l. Which is bigger: 0.2 or u?
0.2
Let q = 18557/4 - 4614. Let k = 18 + -18. Suppose 21*b - 16*b - 125 = k. Is b at most as big as q?
True
Let c = 28135933522/213 - 132093133. Let z = c - 1355/3. Which is bigger: 0 or z?
0
Let t be (-12)/9 - (-145)/174. Are t and -3788 nonequal?
True
Let z(b) = -b**2 + 19*b - 55. Let k be z(10). Let j be -1 - (66/k)/((-3)/(-15)). Which is smaller: j or -10?
j
Let h(b) = -b**2 - 14*b + 392. Let d be h(14). Let n = 3295895/13 + -253163. Let v = 366 - n. Is d >= v?
True
Let l be (-187)/(-924) + 2/(23 + 1). Is l at most -4142?
False
Suppose 5*k - 2*p + 4 + 2 = 0, p = k. Let n be 3 + -1 + k - (-2)/3. Are n and 0.42 unequal?
True
Let h = 1.733 + -1.783. Which is bigger: h or 16.1?
16.1
Let n be (-18)/(-8462)*(-504)/3024. Is 0 less than or equal to n?
False
Suppose -12*a + 80 = 4*a. Let c be ((-2)/a)/(8/80). Suppose 5*v + 3 = 5*n - 17, 0 = 3*v + 5*n - 4. Which is bigger: v or c?
v
Let v = -0.6351 - 0.3649. Is v <= -86/61?
False
Let r = 2332/1515 - -60/101. Let d be -2*((-3)/(-6) + -2). Do d and r have the same value?
False
Let x be (138/(-68) + 2)*24. Let a = -49243 - -49243. Which is greater: a or x?
a
Let c = -5.026 - -0.026. Let y = -1.01 + 21.21. Let z = -20 + y. Which is smaller: c or z?
c
Let v = -24.98 + 24.88. Is -4149 greater than v?
False
Let v = -17133/8 - -2132. Which is bigger: v or -9?
-9
Suppose -44*h + 32*h - 17*h = -4176. Which is bigger: 95 or h?
h
Let d(m) = 2. Let f(j) = 12*j**2 - 4*j - 12. Let h(a) = -5*d(a) - f(a). Let t be h(-1). Is -7 less than t?
False
Let c = -121658/81 + 1502. Suppose 28*f + 199890 = 199890. Which is smaller: f or c?
f
Let m(f) = -f**3 - 7*f**2 - 11*f - 2. Let y = 66 - 68. Let g be m(y). Suppose 3*k + 18 - 90 = g. Is k < 25?
True
Let o = -4128 + 4039. Which is smaller: -90 or o?
-90
Let h = -10886545/1104 + 9861. Do 0 and h have the same value?
False
Suppose -1 = 4*j - 25. Suppose q = 6*q + j*q. Let u = 6873/25 + -275. Which is smaller: q or u?
u
Let s = -107 - -105. Let p be (0 - s - -1) + (-84)/6. Is -12 greater than or equal to p?
False
Suppose c - 22 - 40 = -3*f, f + 326 = 5*c. Suppose -h = 3*v - 58, h + 2*v = 22 + 41. Let b = c - h. Which is greater: -1 or b?
-1
Suppose 219 = s - 3*n, 0 = 3*s - 93*n + 91*n - 685. Which is bigger: 217 or s?
s
Suppose -68473 - 10713 = -34*d. Which is greater: d or 2327?
d
Let n be -5 - ((-207)/161 - 2/(-7)). Let v(p) = -2*p**2 - 4*p + 3. Let l be v(n). Is l at least as big as -11?
False
Let s be -12 - (8 - (-1531380)/(-76570)). Are s and 0 equal?
False
Suppose -12*q + 10*q = 2*b - 4, -4*b = 2*q + 6. Let t be ((1 - 1) + q)*198/(-231). Is t at most as big as -82/13?
False
Suppose -2*s + 4 = -2*c - 2, 4*c + 5*s = -21. Let u(x) = 2*x**3 + 8*x**2 + 4*x + 13. Let h be u(c). Which is bigger: h or -52?
h
Suppose 7*x = -3*x - 2810. Let l = x + 281. Which is smaller: l or 85?
l
Let h be (-8)/84 + (-5862)/630. Let f = 26/15 + h. Which is greater: 2 or f?
2
Let i(u) = -8*u**2 + 115*u - 228. Let d be i(12). Let p be (4/(-48))/(2/28). Is d equal to p?
False
Let x = -55 - -38. Let k = -2 + x. Suppose 5*b + 3 = -2. Is k greater than b?
False
Let c = 53.90253 - -0.04747. Which is greater: c or -1?
c
Suppose -32 = -5*h + 3*k, -4*k = -3*k + 4. Let q be (h/(-536))/((-1)/8). Let y(n) = 330*n + 75899. Let c be y(-230). Which is greater: q or c?
q
Let f be ((-2)/1)/(-2) - 6. Let c be -56 - 2 - (-1 + f). Which is smaller: c or -51?
c
Suppose -6*k = 5*k + 4*k. Which is smaller: k or 37/61?
k
Let g = -1030/3 - -343. Let i = 25 - 31. Do i and g have different values?
True
Let p = 642412/129 + -4980. Which is greater: -1 or p?
p
Let u = 7.5 - 9.5. Is u smaller than -1646?
False
Let r be 140/(-6) + 1295/105 + -13. Which is smaller: 1 or r?
r
Let y be 0 + 2/2 + -107. Let l = -6.4412 - -6.3412. Is y not equal to l?
True
Let c be ((-3)/(-6))/(0 + 2/112). Let n = c - 26. Suppose 2*q + 0*q - 24 = -4*b, -16 = n*q - 4*b. Which is smaller: 15 or q?
q
Suppose 38 = 4*k + w, 21*w - 25*w = 2*k - 12. Suppose 3*g = 5*g + 5*r + 7, 5*g + k = -5*r. Which is smaller: -1/38 or g?
g
Let g be 3 - (-1)/((-80)/(-254)). Let q = -29/5 + g. Suppose 5*a + 4*x = -x - 10, -5*x = 10. Which is greater: q or a?
q
Let k be (400/3000)/((2/4)/(10/12)). Is k smaller than -0.43?
False
Let c = 1759 - 3969. Which is smaller: c or -2211?
-2211
Let s be 4829/(-11) - (3 + -14 + 3). Which is bigger: s or -447?
s
Let u(t) = 6*t**2 + 89*t + 339. Let z be u(-4). Is 801/10 not equal to z?
True
Let n be ((-8)/78)/((-430)/(-129)). Which is smaller: 38 or n?
n
Let g = 4872.739 - 4874. Is g smaller than -1/2?
True
Let v(b) = -176*b**2 + 38*b + 6. Let c be v(2). Which is greater: c or -614?
-614
Suppose -1290 = 8*g + 174. Let t = 168 + g. Is t greater than or equal to -15?
True
Let s be (284/21438805)/((-4)/10). Which is greater: 1 or s?
1
Let y be -7 + (7155/85)/9. Which is greater: 3 or y?
3
Let u = -12/5 - -49/10. Suppose -d - 2 + 9 = -a, 3*d + 2*a - 21 = 0. Suppose d*t = 10*t - 9. Is t at least u?
True
Let b = 706 + -23296/33. Suppose -5*k = -145 - 255. Let j = k - 80. Is b greater than or equal to j?
True
Let b be (((-1)/(-4506))/((-20)/(-30)))/(6/(-4)). Which is smaller: b or 0?
b
Let r = 32877/4 - 8241. Let l be 2/(-8) + (-1079)/52. Which is greater: l or r?
l
Let b(a) = -a**2 + 7*a + 13. Let z be b(13). Let x be 49/336*-453 - 2/(-32). A