most as big as f?
False
Let n = 0.02635 - -9.97365. Is -11/2 >= n?
False
Let o(p) = -p**2 - 4*p - 1. Let s be o(-3). Let a be (-45)/(-47) - s/2. Let v be (1/(-27))/((-63)/1701). Is a < v?
True
Let h be (27/(-12))/((-1)/(-92)). Let v(w) = -w**3 + 7*w**2 - 209*w + 1838. Let b be v(9). Which is greater: h or b?
b
Suppose -20 = 2*j - 48. Suppose j*y - 18*y + 2*l - 2 = 0, 5*y + 10 = -5*l. Which is greater: -1/639 or y?
-1/639
Let o = -17980 + 17977.25. Which is greater: o or -5/2?
-5/2
Let f = -184 - -180. Let t be 12/f*1/(-3). Which is bigger: -75 or t?
t
Let w(x) = -2*x**3 - 31*x**2 - 13*x. Let l be w(-12). Let u be (-3)/((-90)/l) - -2. Is -26 greater than u?
True
Suppose 2*j + 0 = 2. Let u be j/(-1)*-2 - -6. Let y be 351 - 320 - (-116)/(-5). Which is greater: y or u?
u
Let f be 188/(-50)*(-110)/(-1100). Is f <= -1?
False
Let w be 4*(-1)/8*(-8)/1. Suppose -j = w, -3*t - 2*j = -0*j - 424. Is t at least 144?
True
Suppose 0*c = -c + 134. Let g(w) = 33*w**2 - 899*w - 1796. Let m be g(-2). Is m equal to c?
True
Let f = -0.23237 - -211.29237. Let a = 211 - f. Which is smaller: a or -0.1?
-0.1
Let x(j) = -j**2 - 10*j - 8. Let w be x(-9). Let u be (8/48)/((-3)/(-18)). Let k be ((-60)/(-62) - w)/(u/(-2)). Which is bigger: k or 0?
k
Let i be (1 - 2)*0/(-29). Which is greater: 30/149 or i?
30/149
Let h be ((-12)/11106)/((-4)/(-9)*(-75)/(-50)). Which is smaller: 0 or h?
h
Let t be 1002/14 + 1*(-11)/(-22)*-2. Is 70 greater than t?
False
Let j be 16/44*(-33)/(-6). Suppose j*u + v + 4*v - 26 = 0, 5*u + v - 65 = 0. Is 16 less than or equal to u?
False
Let h be (408/(-85))/(9/(-690)). Suppose 19*y - 164 = h. Which is greater: y or 34?
34
Suppose -d - 4 = -5*d. Let v be 38/(-10) + 38/(-190). Let u be 1/v*(-17)/17. Is u at most d?
True
Let c be 9/54*(2 - 5). Let d = 29241.7 - 29256. Is d less than c?
True
Suppose -216 = -7*a - 5*p, -2*p + 84 = a + 39. Let k be 5*(-2)/2*-5. Does k = a?
False
Suppose 4*y + 3*s - 2543 = 0, 0 = 4*y + y + 5*s - 3170. Are y and 641 unequal?
False
Let c = -24.056 + 0.056. Let s = -23.25 - c. Let v = s + 0.25. Is -9 greater than v?
False
Let w = -38825/1460412 - -41/1436. Suppose 4*u = -u. Which is greater: w or u?
w
Suppose 0 = -2*w - 28 + 38, w = 5*i - 20. Suppose -i*d - 55 = -5*s, 5*d - 5 + 4 = -3*s. Let u(t) = -t**2 - 5*t - 1. Let b be u(-5). Which is smaller: s or b?
b
Let h = 15889 + -50701801/3191. Is -1 < h?
True
Let r = 0.8804 + -1.8804. Is 90 greater than or equal to r?
True
Let k = -3581 + 3587. Is -130 <= k?
True
Suppose -4*n = n + 4*j - 120, 0 = 5*n - 5*j - 120. Suppose -95 = -5*t - 3*m, -m - 99 = -5*t - n. Let o = -18 + t. Is o bigger than -4?
True
Let a be -1*((-6)/(-6369))/(11 + -7). Is -1 > a?
False
Let l = 2457 + -6438. Is -3982 not equal to l?
True
Suppose -5*d + 14*d - 18 = 0. Suppose -49 = -d*y - 2*j - 3*j, -3*y - 5*j + 61 = 0. Do y and 11 have the same value?
False
Suppose 3*k = 4*v - 71, -5*v + 4*k - 33 = -123. Suppose -15 + v = -m. Are 2/109 and m nonequal?
True
Let x(q) = 2*q - 24. Let h be x(13). Suppose 14*z = h - 30. Is -3/5 < z?
False
Let t = -995.45 - -995.4. Which is smaller: -0.423 or t?
-0.423
Let c be 7/2 - 1/(-2). Suppose -c*z = -2*a + 32, 2*z = 2*a + 2*a - 40. Let m be (-1)/(-4) - 105/(-12). Does m = a?
False
Suppose 12*a - 27*a = 35955. Let q be 486/a + 4/34. Is q at most -1?
False
Suppose 0 = 5*v + 3*y - 9, 4*y = 4*v - 24 + 4. Suppose -4*n = -4*b - 12, 0*b + 3 = -2*b + 5*n. Let m = 9 + b. Which is smaller: m or v?
v
Let k = -3129 + 3130. Is 4/1807 greater than k?
False
Let t be 5/(5 - (8 - 4)). Suppose -t*a - 6 = -b - 35, 4*b + 101 = 5*a. Let c be ((-2)/164)/((-3)/b). Is 1 bigger than c?
True
Let n = -7406 + 7407. Is -3/4907 at least as big as n?
False
Let i(k) = -k**3 - 9*k**2 - 7*k + 17. Let h be i(-8). Suppose -10*u = -5*v - h*u - 70, 0 = -3*v + u - 44. Is v at most as big as -21?
False
Let v = 154 - 130.2. Let m = v - 26. Let t = 2.3 + m. Are t and -24 equal?
False
Let c be -10*16/320*-2. Is c >= -1437/16?
True
Suppose 5*b = -52 - 8. Let j = 32 - 22. Suppose j = -5*p + 3*h + 2*h, 0 = h - 1. Which is smaller: p or b?
b
Let u = -3310 + 3323. Which is bigger: 219/16 or u?
219/16
Let c(j) = -74*j**3 - 2*j**2 - j - 1. Let r be c(-1). Let f be r/108*(-102)/4. Which is smaller: -10 or f?
f
Let k(x) = 9*x**2 + 7*x - 6. Let t(z) = -26*z**2 - 22*z + 17. Let j(s) = -11*k(s) - 4*t(s). Let d be j(-3). Which is greater: d or 12?
12
Let g = 48 - 48. Suppose 9*z - 3*z - 54 = g. Let q be z/15 - -1*(-4)/(-10). Are q and -83 unequal?
True
Let b(d) = -d**2 - 5*d - 13. Let r be b(-6). Let x = r - -23. Let n be (656/12)/4 - x/6. Which is smaller: n or 15?
n
Let j be (-1654)/(-828) - -3 - (73 - 68). Which is smaller: 0 or j?
j
Let q be 3/(-24)*-2*(5 + 3). Suppose -2*w + 2 = 0, -q*w - 21 = t - 0*w. Let v = t - -31. Which is smaller: v or 33/5?
33/5
Let v = 44 - -442. Suppose 0 = 491*d - v*d - 10. Let z(t) = -t**2 - 4*t - 1. Let f be z(-3). Is d greater than or equal to f?
True
Let d = 1/84 + -41/1092. Suppose g - 4*w + 4 = 0, -3*g - 5*w = -2*w - 3. Suppose g*r + 4*r = -4. Which is smaller: d or r?
r
Suppose -7*d - 1131 - 5718 = -16*d. Which is smaller: 766 or d?
d
Let m = 20531 + -20437. Which is smaller: -17/2 or m?
-17/2
Suppose -9 = v - 4*q, 0*q + 8 = -v + 5*q. Let x = -9 - v. Suppose 3*t = -4*h + 31, 5*t = 5*h + x*t - 15. Do 5/2 and h have different values?
True
Suppose 0 = -865*j + 901*j + 59256. Is j equal to -1647?
False
Let h(l) = -l**2 - l + 2. Let w(z) = -5*z**2 + 29*z - 117. Let q(y) = -4*h(y) + w(y). Let x be q(7). Which is smaller: 229/4 or x?
x
Suppose 3*m = 3*r + 6*m + 18, -m = 2*r + 7. Are 34/179 and r nonequal?
True
Let q be (12/(-16) - -1)*0. Suppose -2*b = -5*u + 44, -2*b - 4 = -q. Let v be (33/u - 3)*-4. Which is greater: v or -5?
v
Let a be (-3)/18 - 26157/(-7875). Let p = -61/125 - a. Let c = p - -15/7. Is -0.21 at least c?
True
Let f(j) = -387*j + 95. Let a be f(11). Let v = -33371/8 - a. Are v and -8 equal?
False
Let u = -7373/77 - -670/7. Let w = u - -7792/385. Which is smaller: 19 or w?
19
Let g = 15531 - 15590. Which is smaller: g or -22?
g
Let x be (-6 + 9/(-12)*-14)/2. Which is smaller: x or 113?
x
Let l = -2217.9 + 2218. Is 0.1964 at most as big as l?
False
Suppose 4*z - 5*z - 54 = 0. Let l = -52 - z. Let u be (17 - 18)/(1/(-6)*l). Which is smaller: -1 or u?
-1
Suppose 32*v - 268 = -111*v - 983. Which is smaller: v or 102?
v
Let s = 2649282/199 - 13313. Is 20/3 at least as big as s?
True
Let l = -1 - -10. Let p = -48940 - -48943. Which is smaller: l or p?
p
Let n = 1.25 + -1. Let b = -0.46 + 0.91. Let y = b - n. Which is smaller: -3/5 or y?
-3/5
Let i = 93 + -95. Let f be (-1)/9 - (-2956808)/(-607320) - i. Let d = f + 104/35. Which is smaller: 1 or d?
d
Let r = 128 + -202. Suppose 4*m = -3*q - 246, q = 7*m - 12*m - 104. Is q bigger than r?
False
Let c = 43.01 + -105.71. Which is bigger: -2 or c?
-2
Let a = 3 - 3. Let v = 4958 + -4958.01. Let i = v + a. Which is smaller: -3 or i?
-3
Suppose 0 = 36*v - 41*v - 135. Let p be (4/(-6))/(1176/v - 2). Which is smaller: 0 or p?
0
Let s be 6900/(-52578)*((-2)/10)/1. Which is smaller: 0 or s?
0
Let z = 0 - 1. Let x be (10/(-24))/((-26)/((-1248)/(-360))). Is z at least x?
False
Let g be 4*(-2 + 6 + -8). Let z be (44 + 1)/(-3)*1. Is g at most as big as z?
True
Let o = -114/13 + 7029/806. Let j be 70/30 - 70/21. Is j < o?
True
Let s be ((-1132)/(-252))/1 - -1. Let a = 61/9 - s. Let k = -1715/6 + 286. Are a and k nonequal?
True
Suppose -231 = -u + 2*f, -2*f + 1155 = u + 4*u. Suppose 0 = -3*w + 4*z + u, -4*w = 3*z - 5*z - 318. Suppose 56 = -w*n + 79*n. Which is smaller: -29 or n?
-29
Let c = -1023193720/7361 - -139002. Let v = -368064/51527 + c. Which is smaller: v or -7?
v
Suppose 5*s = 15*r - 17*r + 918, 3*r - 1377 = -2*s. Let y = 4091/9 - r. Which is bigger: y or 2?
2
Let i = 243 + -233. Suppose 2*o + 248 = i*o. Which is greater: o or -1?
o
Let q = 1325 - 1319. Let b be 42/240*q/7*2. Let y be (-1)/1*(-1)/(-1). Which is smaller: y or b?
y
Suppose -32 = -3*i + 5*n + 78, i - 30 = -5*n. Let y be (-21)/(-18) + 19/(-6). Let r be y/(-4) + i/130. Do 1 and r have the same value?
False
Suppose 4*x = 2*k - x - 112, x + 53 = k. Let q be (-1 - -3 - 2)/(6/(-6)). Suppose q = 80*w - 83*w - k. Which is greater: w or -16?
-16
Suppose -24 = 7*k - 5*k. Let z(f) = f**2 +