False
Suppose -83*g - 90 + 7 = 0. Is g greater than 6552?
False
Let u = 2160 - 2336. Let z be (-14)/((-4)/(-7)*7/50). Is u bigger than z?
False
Let m(u) = 4*u - 29. Let c be m(8). Suppose c*r - 14 = 3*h + 1, -r = 5*h - 17. Suppose -5 = -3*z + 2*z. Is r not equal to z?
True
Let f = 3340283451/3799221608 + -3/7981558. Let o = f + -3/136. Is o bigger than -3?
True
Suppose 339 = b + 3*l, 0 = 25*b - 22*b - l - 1047. Suppose 3*u - 4*f + 211 = 0, 20*f - 23*f + b = -5*u. Which is smaller: -68 or u?
u
Let b = 52 + -2. Suppose 5*g + 45 = b. Which is smaller: -2/85 or g?
-2/85
Let u = -127.3 - 29.7. Let s = u - -157.234. Is s less than -1?
False
Let b = -41 - -77. Let a = b + -1. Let c = a - 56. Is c greater than or equal to 0.1?
False
Suppose 90*g - 47121 = -17*g - 157759. Is 0 greater than or equal to g?
True
Suppose 30*c = 32*c - 24. Let k be (2 + 0)*(-5)/(-2). Suppose c = -3*v - k*a, -5*a - 4 = v - 0*v. Which is smaller: -5 or v?
-5
Let w(l) = -12*l + 8. Let b be w(5). Let p be (-24)/(-30) + b/(-10). Suppose 0 = -p*j + 5*j - 12. Which is bigger: j or -13?
j
Let q(s) = s**2 + 3*s - 4. Let p be q(0). Let o be 2*(2 - p/(-10)). Let z = 1 - -2. Which is smaller: z or o?
z
Let t = -171 - -88. Let h = 69 + t. Which is smaller: -11 or h?
h
Let m be (2 + -7)/(675/(-162)). Let q = 0.2 + -0.2. Do m and q have the same value?
False
Let c(k) = -8*k - 8 - 6*k**2 - 9*k**2 + 24*k**2 - 8*k**2. Let i be c(11). Let j be (-6)/(-2) - 285/i. Is j bigger than -7?
False
Suppose x = 6, 3*x = -18*t + 14*t + 4738. Is t less than 1182?
True
Let d = -1 - -4. Suppose -10 = 2*h, y - d*h - 12 = -0*h. Let t be (2 - -1)*(5/(-3) - 0). Which is greater: y or t?
y
Suppose 913 = 18*a - 977. Let c(y) = 2*y. Let d be c(2). Suppose 5*j - a = m, 0 = -d*m + m. Which is greater: j or 20?
j
Suppose 0 = -56*u + 296 - 16. Let o(d) = -d**3 + 3*d**2 + 11*d - 7. Let h be o(u). Do 237 and h have the same value?
False
Let v be (-1)/(-3) - (-1140)/36. Suppose 4*b - v = -4*g, -3*b - g + 2*g = -8. Let d be (-11584)/(-72592) - b/26. Which is bigger: d or 1?
1
Let g = -89.4 + 32.4. Let u = 72 + g. Is u != 2/3?
True
Let b = 11175789/92 + -121474. Let n = b - 28/23. Which is smaller: 0 or n?
0
Let a be 7*1/98*-272. Suppose 0 = -3*z + 15, 3*z + 2*z = 4*n + 101. Is a greater than n?
False
Let m = -8211.51 + 8201. Is m at least as big as 0.2?
False
Let s = 85 + -78. Let a(c) = -s - 1 + 4*c + 9*c**2 - 2*c**2 + c**3. Let z be a(-6). Is 4 < z?
False
Let r be (-60)/(-112) + (-2)/14*2. Suppose 71*u + 4394 = -292. Which is bigger: r or u?
r
Let r = 3087 - 3133. Which is greater: r or -32?
-32
Suppose 0 = -3*n, -3*n - 44 + 34 = -2*w. Suppose 0*o = -3*t - 2*o + 245, -2*t = -w*o - 138. Which is smaller: 80 or t?
t
Let h = 0.037 - 35.037. Let w = 116/9 - 110/9. Are h and w unequal?
True
Let v = -3.8 - 7.2. Suppose 5*r - 10 = 0, -4*r - 26 = -5*d - 7*r. Let m be (-2)/2*(-3 + d). Which is greater: m or v?
m
Let x be (6/(-4))/((84/(-32))/7). Let k be x + -1 + 3 + (-5)/1. Suppose 0 = -2*g - 3*y - 2, -5*g - 1 - 4 = 3*y. Is k at most as big as g?
False
Let r be 5 - 3 - -8*12/(-48). Is -198/149 at most r?
True
Let k = -24 + 27. Suppose 3*o - 5*u + 8*u = -k, 0 = 2*o + u. Suppose -o + 6 = 5*f. Which is smaller: 1/10 or f?
1/10
Let w be ((-890758)/2002 + (-24)/21)/(6/4). Is -298 bigger than w?
False
Let b be ((-164)/(-20) + -5)*(0 - 20). Let t = 65 + b. Let r = 27692/3412345 + -2/13595. Which is greater: t or r?
t
Let x = -6013 + 5899. Which is smaller: -113 or x?
x
Let o = 187 - 120. Suppose -5*g + o = -4*d, 4*d = -4*g + 27 + 5. Let z = -2.06 - -0.06. Is z smaller than g?
True
Suppose k + 2 = -2. Let t be (-4095)/1235 - (-1 - 2). Which is smaller: t or k?
k
Let c = 0.212 - 11.412. Let u = c - -11. Is u at most -53?
False
Let i be 40621/(-8290) + 10/1. Which is smaller: i or 5?
5
Suppose 14*f = 5*f + 5554 - 13429. Which is smaller: f or -874?
f
Suppose -52*r = -186*r + 116108 - 17082. Is r less than or equal to 5176/7?
True
Let s = 6324/7 + -905. Suppose -i - 7 + 10 = 0. Suppose 0 = -5*c + g - i, -7*c = -12*c - 3*g - 11. Which is bigger: c or s?
c
Let w = 50 - 11. Let o(x) = 4*x + 396. Let b be o(-44). Suppose -10*p = -5*k - 5*p + b, 3*k = -4*p + 104. Which is bigger: k or w?
k
Suppose 0 = -5*c + 3*c. Let v be -3 + 2 - (354 + 1)*-6. Let g = v + -40441/19. Is g greater than c?
True
Let z be (-1*(0 + 4)/(-4))/(0 + 1). Is 3/572 equal to z?
False
Let k(x) = x. Let y(t) = -5*t - 3. Let j(n) = 4*k(n) + y(n). Let o be j(-2). Let u be 9/3 + 84/(-20). Is o bigger than u?
True
Let o(l) = l**3 - 13*l**2 + 28*l + 21. Suppose 0 = 7*m - 25 - 45. Let k be o(m). Is k bigger than -1/58?
True
Let m be (-34)/8 - (7 + -13)/24. Let v be (m/(-2877))/(24/36). Is v less than 0?
False
Let q be -1 - (6/104)/(126/224). Let w = 10/13 + q. Is 70 > w?
True
Let k be (-2)/7*(840/21396)/10. Which is smaller: 0 or k?
k
Let p be (30/24)/(1/16). Let i be 0 + -6 - (-104)/p. Which is bigger: -0.05 or i?
-0.05
Suppose 4*z - 4718 = -5*f - 0*z, -4*f + 3766 = -z. Suppose -45 = f*h - 939*h. Is -49/3 at least h?
False
Suppose 1248 = -3*v + 7*v. Let a be 231/v - (-12)/(-16). Suppose -141*u = -138*u. Which is bigger: u or a?
u
Let z(l) = 2*l**2 + 14*l + 5. Let y be z(-7). Let g be (-9 + 7)*2399/y. Let u = 956 + g. Is u equal to 1?
False
Let w = -1464 - -551. Which is smaller: -914 or w?
-914
Let g = 1.4 - -0.6. Let u = -0.31 - 32.69. Let z = -35 - u. Which is smaller: z or g?
z
Let i = -19379.2434 - -19379. Are i and -2 nonequal?
True
Suppose 16 = 4*o, -3*d = -2*o - 62 + 241. Suppose 3*w + 37 = 19. Let v be ((-725)/75)/((-1)/w). Which is bigger: d or v?
d
Let a = 67.43 - 64.43. Is 223 less than a?
False
Suppose 17 = 2*z + 7. Let c = -57 - -31. Let s = 23 + c. Which is smaller: z or s?
s
Let s = -803/468 - -73097/124020. Let m = s + 12/53. Which is smaller: 0 or m?
m
Let r = -4787/71500 - 2/1625. Let t be 0/(-12 - (-5 - 6)). Is r smaller than t?
True
Let w = -1602.5 - -12699.5. Which is smaller: w or 0.1?
0.1
Suppose -y + 6*y = 0. Let u be -5*9/(-60)*-8. Let p be 6/(-144) + 6 + u. Is p smaller than y?
True
Suppose 3*t + 2*q + 0*q = 49, 5*q = -4*t + 77. Suppose -t*k = -7*k. Is k at least as big as -5/4?
True
Let i(v) = v**3 - 52*v**2 - 14*v - 310. Let l be i(52). Is l >= -1039?
True
Let k be (11/(-33)*1)/((-1)/6). Suppose 3*s + k*v = -0*s - 66, -3*v = 3*s + 63. Is 7 >= s?
True
Let h = 861 + -573.6. Let g = -287 + h. Is 1.9 less than or equal to g?
False
Let g = -5/472 - -4393/13688. Let c(k) = -k**2 + 2*k + 77. Let u be c(-9). Let l = u - -22. Which is greater: g or l?
g
Suppose 5*g = 2*g + 15. Suppose 2*d + 4*n = 20, -g*n + 19 = d - 0*n. Which is bigger: d or -0.02?
d
Let m be (3 + 20/(-8))/(1/30). Let k = 18 - m. Suppose k*c - 15 = g - 5*g, 2*c = 10. Which is bigger: -8/9 or g?
g
Suppose 5*m = 8*m + 471. Let h be 155/(48/60 - 18/10). Which is greater: m or h?
h
Let p = -140 - -198. Let m be 7/252*6 + 75*14/18. Do m and p have the same value?
False
Suppose 0 = -d - 4*w + 12, -4*w + 13 = -d - 7. Is d > -294/85?
False
Let g = -82 + 86. Suppose v + 0 = g. Let n be (-2)/v*(5/10 - 3). Which is smaller: n or -4?
-4
Let g = -5522 - -3732867/676. Which is greater: g or -1?
g
Suppose 48*r - 99*r = -47*r. Let q = 154162/87 + -1772. Which is greater: r or q?
r
Let f = -16/53 + 452/795. Let o be ((-5)/50)/(3/(-2)). Let y = f + o. Is y not equal to 0?
True
Let z be (-6490)/26312 + (-13)/(-52). Which is smaller: 75 or z?
z
Let t = -4046.5 + 4213. Which is bigger: 0.3 or t?
t
Let j(l) = 8*l**2 + 23*l - 5. Let p be j(-3). Is p > -15/26?
False
Let o(q) = 6*q + 1227. Let l be o(-175). Which is greater: 91 or l?
l
Let s = 1260.579 - -3.531. Let g = s + -1248. Let l = 16 - g. Is 3 less than l?
False
Let d be (-67)/4*((-10)/(-7) - 4). Let p = 153761/3570 - d. Is -1 at least p?
False
Let x(z) = -114*z + 47. Let d be x(2). Which is bigger: d or -182?
d
Let g(w) = 2*w**3 - 42*w**2 + 75*w - 45. Let k be g(20). Is 658 at most k?
False
Let q be 16/6*6/(-4)*9618/(-84). Is q less than 446?
False
Suppose 2*v = 4*v - 4*f + 398, 2*v = -5*f - 353. Suppose -82*x - 7007 = 8491. Is x not equal to v?
False
Let s(q) = 26*q**2 - 8*q + 6. Let k be s(3). Suppose 0 = 10*n - 214 - k. Is 43 greater than n?
False
Let j(v) = -32*v + 515. Let m be j(11). Is 151 greater than m?
False
Suppose -2*m - 144 = -2*z - 0*m, -3*