/2. Is g bigger than -4?
True
Let h be 24/48 - (-14)/4. Suppose -3*a = -3*y + 6, 0 = h*y - 5*a - 5. Suppose 0 = y*f + 3*v + 98, 0 = 3*f - 5*f + 4*v - 34. Is f smaller than -19?
False
Let j(g) = 2*g**2 + 46*g + 41. Let w be j(-19). Let y(s) = -2*s**2 + 11*s - 4. Let d be y(11). Let t = w - d. Which is bigger: 10 or t?
t
Let u = 1749 - -313. Is 2061 at most u?
True
Suppose 4*c - 5*z + 12 = -8, -3*c + 3*z - 15 = 0. Let l = 199376 - 1395664/7. Which is smaller: l or c?
c
Let d be 2/7 + (-52)/(-14). Let h(q) = q**2 - 10*q - 34. Let c be h(13). Suppose c = -18*m + 19*m. Is m not equal to d?
True
Let y be 30/(-8)*(-196)/147. Let q be y/(-25) - 35/75. Let b(m) = 11*m - 3. Let c be b(-4). Which is smaller: q or c?
c
Let g = -291.99 - -302.99. Is -82 > g?
False
Let z be (2*(-1)/8)/(3/(-36)). Is 184/111 bigger than z?
False
Let u = -1071 + 13931/13. Let h = u + -43/91. Let b = 3/28 + h. Which is smaller: 2/7 or b?
b
Suppose 1095 = -3*m + 300. Let c be 2 - ((-280)/m - -1). Is c greater than 1?
False
Let y = 1145/1132 + -74/283. Is 164/37 equal to y?
False
Let p = 35686721/649153 + 21/15833. Let n = -55 + p. Suppose 5*s - 11*s + 6 = 0. Is s at least as big as n?
True
Suppose -33*m + 425 - 458 = 0. Which is smaller: 1/38303 or m?
m
Let n = 835 - 835.0093. Is n greater than -2/3?
True
Let a(k) = k**2 + 7*k - 1. Suppose -4*y - 14 = -2*y. Let m be a(y). Let n be ((-12)/(-40))/((-16)/(-72) - (-105)/(-108)). Which is smaller: n or m?
m
Suppose 4*z - 8 = 8. Let d be 13/z + 2*(-6)/48. Let p be (d - 5)/((-2)/1). Is 2 smaller than p?
False
Suppose -84*i + 2*i - 11*i + 93 = 0. Which is greater: -8/305 or i?
i
Let m(n) = 5*n - 50. Let o be m(10). Suppose -7*q + o*q = 182. Let w(l) = 2*l**2 + 52*l. Let h be w(q). Which is smaller: h or -3/20?
-3/20
Let v(d) = 436*d**3 + 26*d**2 - 50*d - 4. Let b be v(2). Which is greater: -1/3 or b?
b
Let g(u) = -85*u**2 - 2*u - 2. Let b be g(-1). Let l be b/(-21) - (1 + 3). Let z = l - -8/21. Which is smaller: z or -1?
-1
Let u(c) = c**3 + 29*c**2 + 4. Let r be u(-29). Suppose -r*b = -319 - 1. Suppose v - 162 = -v. Do v and b have the same value?
False
Let a = -3 - 81. Suppose 1194 = 37*k - 1211. Let p = k + a. Is p at most -19?
True
Let z = 253 + -253.19. Let s = z - 0.81. Is 131 at least s?
True
Let j = 5005787 + -165174767/33. Let u be 2*(-1 + (-1956)/8). Let q = u + j. Which is bigger: q or -1?
q
Let z = -1134 + 1115. Is 3/10 <= z?
False
Let f = 3787 + -26511/7. Which is smaller: f or 516?
f
Let z = 718 + -271. Let y = -303 + z. Is 0 less than y?
True
Suppose 17292*x = 17300*x - 136. Let w = 4 - -1. Suppose 86 = w*l - 2*r, -114 = -5*l - r - 22. Is l < x?
False
Let c(o) = o + 9. Suppose 4*r = 2 - 14. Let t be c(r). Suppose -3*n = -3*q, -5*q = 6*n - 3*n - 32. Do t and q have the same value?
False
Let z = 10.6 - 6.7. Let u = -2.9 + z. Suppose -r + 5*o - 3 = -7, -43 = 5*r - 4*o. Is r != u?
True
Suppose 3*q = -5*g + 280, 4*g + 3 = -q + 234. Let u = 41 + 19. Which is greater: u or g?
u
Let j = -5429 - -5423. Do -107/16 and j have different values?
True
Let f = 0 + -6. Let p(r) = r - 30. Let w be p(32). Suppose 0 = 2*x + w*m + 2, 3*m + 2*m - 19 = -x. Is f less than or equal to x?
True
Suppose 0 = -16*n + 4*n - 48. Let l(v) = -v**2 - 3*v. Let a be l(n). Let w = 17 - 23. Which is bigger: a or w?
a
Let q = 4769 + -3880. Which is smaller: 1/4 or q?
1/4
Let y(f) = 4*f - 18. Let u be y(5). Suppose -u*b - 20 - 42 = 0. Let t = -32 - b. Is t not equal to 4/19?
True
Let y(k) = -k**2 - 10*k - 14. Let b be y(-10). Let g be b/1170*-2 + (-6)/(-39). Let h = 97/45 + g. Which is greater: 3 or h?
3
Let y(h) = -13*h - 12. Let v be y(10). Let c = v - -159. Suppose 3*o + 13 + 2 = u, 0 = 4*u - o - 71. Is u > c?
True
Let v be (-131)/556 + 2/8. Let o(k) = -372*k - 8184. Let z be o(-22). Which is smaller: v or z?
z
Let g be (-35)/21 + (-4)/12. Let b(j) = -4*j**2 - 8*j - 15. Let a be b(g). Let k be (4/a)/(1 + 66/(-30)). Is 0.045 < k?
True
Let n be 6 + (260/(-16))/13*4. Are 3/104 and n equal?
False
Suppose 0 = -22*y + 2209 - 2341. Do -227 and y have different values?
True
Let x = 3117 + -3118. Let r = -0.2 + 26.2. Let q = -25 + r. Which is smaller: q or x?
x
Let p = 36 + -21. Let o = 73 + -158. Let r = 83 + o. Which is smaller: p or r?
r
Let n be 80/(-32)*(-1 + 2/(-10)). Let i be n/2*(-10348)/78. Do i and -198 have the same value?
False
Let l(t) = -t**3 + 6*t + 8. Let q be l(-2). Suppose 2 = -3*o + 5*g + 4, -6 = q*o + 2*g. Is o smaller than -2/215?
True
Let g = -979.8 - -979.7. Which is smaller: g or 20823?
g
Let n be 35025/15 + (7 - 6 - 4). Are 2337 and n unequal?
True
Suppose 0 = 5*c + 3*c - 3840. Let q = c - 704. Which is bigger: q or -223?
-223
Suppose 4*j = -2*y + 14, -5*y + 4*j + 21 = 7*j. Suppose -42 = 2*b - 154. Let q be b/(8/(-2)) + 2. Do q and y have the same value?
False
Suppose -3*k = -a - 9, -5 = 6*a - 3*k + 4. Which is smaller: 9/851 or a?
a
Let s(a) = -40*a**3 - 7*a**2 + 3*a + 8. Let x be s(5). Let d = -1365278/265 - x. Is -1 smaller than d?
True
Suppose -72 + 183 = -171*b - 60. Let f be -2 - (-3)/((-162)/(-110)). Which is greater: b or f?
f
Let q = 1 + -2. Let a = 2769/10054 + -22/457. Is q bigger than a?
False
Let u be (-1776)/608 - ((-18)/3 - (2 + -5)). Let q = -3 - -5. Suppose -3 = m + q*m. Is m at most u?
True
Suppose 58 = -8*r + 50. Let n = -0.184 - 0.076. Is n <= r?
False
Let m(y) = 2*y**3 - 39*y**2 - 30*y + 988. Let z be m(19). Is z less than -1/9?
False
Let v(c) = 13*c**3 + 13*c**2 - 7*c + 12. Let s be v(14). Let h = s - 77779/2. Let j = h + 773. Is j at most as big as 19?
True
Let k = -35 - -35. Let m = 4 - k. Suppose q = 2*j - 12, 5*j - 14 - 21 = 5*q. Which is smaller: m or j?
m
Let f be ((-576)/432)/((-4)/(-453)). Which is greater: -138 or f?
-138
Let d = -37 - -52. Let w be (360/64 + -3)*8. Does w = d?
False
Suppose 3*p - 25 + 7 = 0. Suppose -p*c + 2*c = -12. Suppose c*t - 23 + 254 = 0. Which is greater: t or -76?
-76
Let p be 89/(-30) + (12 - 9). Let u = -83 + 84. Suppose 3*h + 0*n + u = -n, 5*n + 5 = 4*h. Which is bigger: h or p?
p
Let g = 810 + -10506/13. Let l = 165/26 - g. Is l less than or equal to 4?
False
Let x = 269/10 + -137/5. Is 5708 greater than x?
True
Let m be (-14)/7 + (-3 - -1). Let o be (-15)/(-4) - 4 - -27*(-35)/220. Is m bigger than o?
True
Let b be 3/((-12)/5)*(-380)/(-100). Let n = 473/100 + b. Suppose 10 = 2*p + 4*f, -4*p + 12 = 5*f - 2. Do n and p have different values?
True
Let x(v) = -v - 11. Let h be x(-6). Let q = -53 - -56. Let o be q/h - 424/10. Is -0.1 != o?
True
Let m be (-3)/15*(-5)/1. Let g be 8/6*(m - -8). Let a be (-2)/(429/(-4095) + (-4)/42). Is g greater than or equal to a?
True
Let a(s) = -2*s - 10. Let c be (10/15)/(-1 + (-26)/(-30)). Let w be a(c). Which is greater: w or -9/26?
w
Let j be 1 - 87 - (3744/(-520) + (-2)/(-10)). Which is greater: j or -128?
j
Let r be 1/(4 + 0 + 1). Let a = -48 + 48. Suppose -4*t = -2*h + 40, a = -4*t - 2*h + 7*h - 46. Is t bigger than r?
False
Let n be 528/252 + 2*3/(-3). Let q = -28/11 - -189/44. Which is smaller: n or q?
n
Let j = -1410.97 - -1417. Let l = j + -9.03. Which is bigger: 2/13 or l?
2/13
Let x(k) = -2*k**2 + 50*k + 286. Let f be x(32). Which is smaller: -169 or f?
-169
Let d be (9 + (5 - 13) + -156)*(3 - 2). Which is smaller: -5 or d?
d
Suppose 281 = 3*d + 5*k, -5*k = 493 - 513. Suppose 4*n = 465 - 121. Is n at most d?
True
Let x be ((-8)/(4 + -8) - 50141/(-38))*-2. Is x equal to -2642?
False
Let z = 11236/135 - 749/9. Let a be 1 + 4 - (-1 - -5). Is z at least a?
False
Let i = 0 + -0.1. Let b = -147 + 146.972. Let k = -0.028 - b. Is k at least i?
True
Let m = 21.038 - 0.038. Let w(r) = 4*r**2 + 7*r - 23. Let i be w(-8). Suppose i*n = 179*n + 4. Which is bigger: n or m?
m
Suppose -15*j + 17*j = -3*c + 119, 0 = c + 3*j - 49. Let n = c + -40. Which is smaller: n or -1?
n
Let w be 3/(-12) - (-30)/(-168). Let j = -19/28 - w. Let h = 0.35 + -0.59. Is h <= j?
False
Let f = 51 + -49. Let a be (-1)/5 - (f - 319/(-5)). Let v be (-2 - 15/(-9))/((-2)/a). Is -11 >= v?
True
Let t be 2/2 - ((-768)/(-60) - 12). Let n be 8/90*(-27)/18. Let p = -1/30 - n. Which is smaller: p or t?
p
Let f = -27 + 27. Suppose 3*z + 0 - 21 = f. Let t = z + -18. Is t > -13?
True
Let l be (1/(-6))/(-25 + 271). Is 1 > l?
True
Suppose 3 + 27 = 6*f. Suppose 10 = 3*l - f*l, 5*w - 295 = -3*