0*s. Which is smaller: 481 or b?
481
Suppose -24*d - 1683 = 3141. Let m = 198 + d. Which is smaller: m or 83?
m
Let j(v) = -439*v + 2595. Let o be j(-11). Is o less than 7425?
True
Let x be ((-616)/12)/11*(-585)/91. Which is greater: x or 1158/37?
1158/37
Let h be (-8)/20 + (4483584/349830)/32. Is h greater than or equal to -4?
True
Let h be (-162)/(-21)*(-6867)/109. Which is smaller: h or -482?
h
Let w be 129/(-78) + 2/(-4). Let a = w + 1984/897. Let y = 7 - 6. Is y at most a?
False
Suppose 2573 = -11*p + 16235. Is 1241 at most as big as p?
True
Suppose 4*z - 3*y + 25 = 0, 2*z - 2*y + 10 = -0*z. Let f(b) = 3*b + 66. Let t be f(z). Is t equal to 34?
False
Let o = 655869 + -655837. Let p(g) = 8*g + 3. Let h be p(3). Is o greater than or equal to h?
True
Let d(a) = a**2 + 8*a - 20. Suppose 2*t + 33 = 5. Let x be d(t). Which is smaller: 65 or x?
x
Let l = 2736 - 2735. Which is bigger: l or -7/732?
l
Suppose -3*d + q + 2*q = -27, 2*q = -3*d + 7. Suppose 0 = -3*p + x - 14 - 92, d*x = -3*p - 118. Suppose t + 36 = -2. Which is smaller: p or t?
t
Suppose -4*y + 420 + 152 = 4*o, 0 = -4*y - 5*o + 577. Suppose 16 = 4*r, r - y = 5*h - 49. Which is smaller: -7 or h?
h
Suppose 2*s + 4 = -2*x - 0*s, -2*s - 4 = x. Suppose 2*m + 3*m = -5*z + 15, 4*z + m - 9 = x. Suppose -z - 34 = 6*a. Is a < -7?
False
Suppose 215 = 9*p - 4*p. Let o = p + -90. Let t = o + 46. Which is smaller: -5/18 or t?
t
Let b(f) = -10*f**2 - 78*f + 228. Let j be b(3). Are -79 and j nonequal?
True
Suppose -4*n + 5 = 5. Suppose -2*t - 2*b - 11 - 3 = n, b - 17 = 5*t. Which is bigger: -3 or t?
-3
Let q = -4829 - -4889. Is 58 <= q?
True
Let j be (3*380/45)/((3 - -4)/(-70)). Which is greater: -252 or j?
-252
Let z(g) = -2*g**2 + 19*g - 32. Let s be z(7). Suppose k = -s*x + 4, -8*x + 3*k - 12 = -5*x. Which is smaller: x or -2/113?
-2/113
Let n = 0.029726 + -23.718726. Let u = 0.689 + n. Which is bigger: 1/3 or u?
1/3
Let k = 29699 + -267029/9. Is 28 > k?
False
Let c = 487 + -487. Let j = 7.032 + -7. Does c = j?
False
Let u(k) = -11*k**2 + 188*k - 17. Let g be u(17). Which is greater: g or -1929?
g
Let z be 2/(-10) + (-18)/(-16950)*-5*-31. Which is smaller: z or -6?
-6
Let i = 1131/152 - 196/19. Is 6.4 < i?
False
Let k = -3 - -4. Let o be (0 - 2*-1) + k. Let j be 3/(109 - 124)*(1 - (7 + 2)). Is o at least as big as j?
True
Suppose 0 = -21*g + 25*g - 24. Suppose 3*o + 11 = 4*s, 19 = 3*o - g*s + 8*s. Is -8 less than or equal to o?
True
Let x = -172 - -102. Let p be (22/(-28))/(x/(-84)) - -1. Let t = p - 108/665. Which is bigger: 1/2 or t?
1/2
Let k be 24620/(-16)*(-423)/(-15). Let f = k + 43752. Let r = f + -10259/28. Is r greater than -6?
False
Let w = 12357.757 + -12358. Are w and 3 unequal?
True
Let d = 95 - 107. Let m(h) = -h**3 - 8*h**2 + 6*h + 7. Let o be m(-8). Let l be o/4 - 6/8. Which is bigger: l or d?
l
Let x be (968/12 - 3/(-9))/((-363)/(-44)). Is x greater than 9?
True
Suppose -4*c - 3288 - 1184 = -2*s, -5*s - 4430 = 4*c. Is c at least -4?
False
Suppose 105*z + 330 = 110*z. Let p be 5/(((-2)/(-12))/(13/6)). Which is greater: p or z?
z
Suppose -3*n - 5*g + 12 = 0, 3*g = 2*g. Suppose n*h + 0 + 36 = 0. Let w be (-18)/5 - (-180)/(-450). Which is greater: w or h?
w
Suppose -16*b - 108 = 1188. Is b smaller than -564/7?
True
Let y = 440 - 6157/14. Which is bigger: -37 or y?
y
Let r be 2/6*(814 - 1). Let b(t) = -2*t**2 - 65*t + 43. Let c be b(-4). Does r = c?
True
Let b = 47 - 7. Let u be 588/10 + 8/b. Let w(i) = -6*i**3 + 3*i**2 - 4*i - 10. Let x be w(-2). Does x = u?
False
Suppose -5*s + 84 = 74. Let h be 5/s*(-1 + -1). Let r be (-2)/(-8) - 63/28. Is r greater than h?
True
Suppose 20*j - 3*j = 170. Let v be 16/j*(-24)/(-64). Is 1/6 > v?
False
Let s = 26744/8594515 - 2/12695. Which is bigger: 1 or s?
1
Let i = -80490.9722 + 80502. Let a = i + -0.0278. Which is greater: -9 or a?
a
Let f = 25939 + -25938. Is f greater than or equal to -2168?
True
Let r be 228/63*(-1 + 5/2). Let y(l) = -10*l + 404. Let j be y(40). Do j and r have different values?
True
Let i be (-6)/4*(-1 + 5 - -26). Let k be (228/95)/(1 + 51/i). Is -75/4 <= k?
True
Let p = -264 - -259.95. Let b = p + 2.05. Is b at most -1/103?
True
Let i be -4 + -2 + -5 + 5. Let q be (5*8/i)/(25/75). Is q less than -20?
False
Suppose 69*k + 8*k - 8316 = 0. Suppose h + 45 = 2*s - 169, 0 = -3*s + 3*h + 324. Which is smaller: s or k?
s
Let w(m) = m**3 + 24*m**2 - 30*m + 35. Let r be w(-25). Let o be -3 + 9/(477/r). Which is greater: 0 or o?
o
Let o = -768 + 480. Let w = 285 + o. Which is smaller: 0.013 or w?
w
Let k = 31 - 29.7. Let x = 1.41 - k. Let u = 15326 + -15325. Is u at most as big as x?
False
Let h(l) = l**3 - 60*l**2 + 39*l + 2340. Let a be h(59). Which is bigger: a or 1162?
1162
Let u(t) = 17*t + 409. Let y be u(-24). Is y at least 2606?
False
Let n(i) = -i**2 + 11*i + 1. Let k be n(11). Let s = -173/11 + 18187/1155. Do s and k have the same value?
False
Suppose 4*u + 18 + 2 = 0. Let r be (-2)/u - (-133)/(-245). Suppose 5 = -m - d - 2*d, -4*d - 11 = -3*m. Which is smaller: m or r?
r
Let k = -475 - -389. Let p = k - -88. Is p >= 17/5?
False
Let z be 2/(-5) + 658/19920. Let n = -66/35 - -16364/8715. Let g = n + z. Is g smaller than -1?
False
Let a = -264.8 - -238.8. Which is greater: 6 or a?
6
Suppose -14*y + 7 = 49. Let a be y/(33/(-46)) - (-8)/(-44). Suppose 2*d - 5*l + 6 = -a*l, -4 = l. Which is greater: d or -4?
-4
Let l = -725 + 998. Is l at least as big as 3548/13?
True
Let s be (7 - 2370/342)/((-4)/6). Let m = -14 + 23. Let z = 10 - m. Which is greater: z or s?
z
Let j(z) = -z**2 + 12*z - 29. Suppose 0*p - 24 = -3*p. Let k be j(p). Is 39 at most k?
False
Let m(r) = r - 6. Let b be m(7). Let a be (224232/6580)/(3 - (-1078)/(-360)). Let u = -6134 + a. Which is greater: u or b?
b
Let d = -89.3 - 680.7. Are d and 7 equal?
False
Let g = 474/19 - 25. Suppose -314*u = -159*u - 129*u + 26. Is g greater than u?
True
Let r(f) = 104*f**2 + 111*f + 835. Let w be r(-9). Is w at least as big as 8258?
True
Let s(u) = -24*u**2 - 15*u - 39. Let j be s(-4). Let t = j - -6909/19. Let l = 1 - 0. Which is bigger: l or t?
l
Suppose -2*l - 9*g - 4 = -38, -21 = l - 5*g. Is l at most as big as -2/5633?
True
Suppose -26 + 126 = 4*p. Let b be p - (-8)/(-12)*6. Let v = -39 - -59. Which is bigger: b or v?
b
Let s(o) = -51*o + 686. Let x be s(20). Are x and -1676/5 nonequal?
True
Let g be ((-2)/(-14))/(3/21). Suppose -4*r = -0*r + 8. Let a be r*(425/213 + -2). Is g equal to a?
False
Suppose 5*s = 5*o - 75, s + 0 = 4*o - 12. Let a be (-1)/(-4) + (3020/s)/(-5). Is a >= 40?
False
Let i = -66.15 - -67.6. Let v = i - 0.96. Is 0 greater than v?
False
Let x = -4166 - -4165. Which is smaller: 25/24 or x?
x
Suppose 5 = 3*f + 2. Let o be 1*0/(f + 0). Suppose 22 = 3*i + 19. Which is greater: i or o?
i
Let x = 3122 - 2201. Suppose -17*c = x + 439. Is -80 at least as big as c?
True
Suppose -4*o = -5*u - 0*u - 7, u = -o + 4. Let i be (-2)/1 + -19*o/(-30). Let l = -25 - -27. Which is smaller: i or l?
i
Let r = -163.1 + 163. Let b = 0.893 + 0.067. Let u = b - 0.49. Is r less than or equal to u?
True
Let g(u) = -686*u**3 - u**2 - u - 1. Let l be g(-1). Suppose l = 8*n + 117. Which is bigger: n or 72?
72
Let z = -447 - -266. Let a = z - -180.8. Which is smaller: a or 4?
a
Let k = 29.51 - 20.51. Which is smaller: k or 0.02?
0.02
Let l = 36542 - 36543.293. Which is bigger: l or 2/7?
2/7
Let j = -26485/3 + 581899/66. Which is bigger: -12 or j?
j
Let k be (-483 - -492) + 10/4*-4. Do k and 2/6179 have the same value?
False
Let o(z) = 4*z + 17. Let q be o(-3). Suppose -q*d - 7 - 48 = 3*l, 0 = -4*d - 20. Let j be (l/(-2))/(10/4). Which is smaller: j or -2.2?
-2.2
Let r = 2115 + -2114. Which is bigger: 13/279 or r?
r
Suppose -123*z + 1690 = -125*z. Is z smaller than -845?
False
Let m be 2/(-2) + 9 + (11 - (-4407)/(-234)). Do m and 697 have different values?
True
Suppose 704 + 93 = 41*p + 18. Is p greater than 2?
True
Let b = 284/33 + -102/11. Which is smaller: 1.401 or b?
b
Let w = -5/1544 - -17019/10808. Is w less than 3?
True
Let a = 70087/5706178 - 12/991. Which is smaller: a or -1?
-1
Let o be (2/258)/((-2)/(-6)). Let g = 1.19462 + -2.19462. Does g = o?
False
Let z be -39 + 24/(-4 + -2). Let a = -65 + z. Is a < -108?
False
Let r = 436 - 249. Let u = -188 + r. Is u smaller than -0