/35*30/12. Which is bigger: v or -24/35?
-24/35
Suppose 34 + 35 = -3*i - 2*k, -38 = 2*i + 4*k. Let t(l) = -3*l**2 + 3*l**3 + 2*l**2 + 22*l**3. Let m be t(-1). Is i less than m?
False
Let r be 3*(-4)/144*48/84. Is 0.104 equal to r?
False
Let o = -216.3 - -267. Let d = o - 35.96. Let n = d - -0.26. Is -1 bigger than n?
False
Suppose -3*w + 432 = 3*u - 8*w, -288 = -2*u - 2*w. Let n(i) = i**3 + 33*i**2 + 133*i + 4533. Let k be n(-33). Is u less than k?
False
Suppose 78*u - 83*u - 4759 = 2*f, 5*u + 7131 = -3*f. Do f and -2371 have the same value?
False
Let x be -9*(2 + 96476/264). Let k = x + 6627/2. Let o(y) = -y**3 - 3*y**2 + 2*y - 2. Let b be o(-4). Are b and k non-equal?
True
Let v = -12097 - -24795. Is 12699 != v?
True
Suppose -6*s = 5*n - 19391, -4*n + 16151 = 5*s - 8*n. Which is smaller: s or 3232?
s
Let g be 46/(-299) + 1244/(-26). Let y = -79 - g. Which is smaller: -34 or y?
-34
Let y(s) = 2*s**3 - 4*s**2 - 14*s - 67. Let k be y(6). Let o = 1 + 137. Is o <= k?
False
Let x = 28 + -7. Suppose 4*y - 67 = -c, 3*c + 50 = 4*y - x. Suppose 3*s + 15 = 0, -y = 2*k + k + s. Are k and -11/3 unequal?
True
Let o = -588 + 592. Suppose 5*f - 4*u = -17 + o, -2*f = -2*u + 6. Are f and 4/97 non-equal?
True
Let t = -22/731 + 16033/557022. Let n be (2 - (7 + 24)) + 29. Which is bigger: t or n?
n
Let f = 20773 - 20643.39. Let m = f + -131. Let z = m - -0.39. Are z and -45 equal?
False
Let z be (-408)/(-69) + (-4)/(-46). Which is smaller: 300/49 or z?
z
Let x be 0 - (-6 - 22887/(-108)). Let h = -206 - x. Is h less than -6?
False
Let p(u) = -4*u**3 - 4*u**2 + 7*u - 6. Let i be p(-6). Suppose 3*m - i = 2*f, f + 462 = -3*m + 144. Let j be 51/f + 2/20*2. Which is smaller: 0 or j?
0
Let i be 1/(-3)*42*-1. Suppose x = i + 6. Suppose -171*y = -2051 - 1540. Which is greater: x or y?
y
Let u(w) = 197*w**2 - 11*w - 12. Let k be u(-3). Suppose 406 = k*n - 1808*n. Let z be 3 + (0 + 0 - 1). Is n <= z?
True
Let y(k) = -8*k + 4. Let s be y(3). Let b be ((-966)/(-28))/23*4. Let g be 48/s*(-20)/b. Is g greater than 5?
True
Let h be 38999/43 + (-98)/(-2107). Which is smaller: h or 906?
906
Suppose -41 = l - 42. Suppose -5*b = -k + 17, -4*b = -5*k + 2 - l. Suppose 0 = 3*y - y + 2. Which is smaller: y or b?
b
Let u(p) = -p**3 - 18*p**2 + p - 18. Let h be u(-18). Let b be ((-6)/(-18))/(h/1431). Is b >= -12?
False
Let x(f) = f**2 + 51*f - 273. Let r be x(6). Are r and 137 non-equal?
True
Let p = 3.4 + 4.6. Is 0.03 > p?
False
Let u = -13027 - -12643. Let v = -0.16 - -1.16. Which is smaller: u or v?
u
Let y = -6309/11 + 69551/121. Is y bigger than 1?
True
Let i be ((-25)/(-1) + 1)/(-2 - -1). Let q(c) = -c**2 - 16*c - 53. Let p be q(-10). Suppose -p*m = 110 + 58. Which is bigger: m or i?
m
Let i = 25 + -24. Suppose i + 2 = 3*y. Let o be 376/(-100) + 8/2. Which is greater: o or y?
y
Let g(a) = 2*a**3 - 9*a**2 - 5*a - 8. Let t be g(-6). Let f = 6138315/17 + -360343. Let h = f + t. Is h >= 0?
True
Let t = 11475 - 11187. Which is bigger: 290 or t?
290
Let z(w) = w**2 + 6*w - 4. Let a be z(-7). Suppose -11 - 4 = -a*i. Let h be (-12)/(-30) + 24/40. Which is bigger: h or i?
i
Let l = 1746 - 144920/83. Suppose -12*b = -74*b - 659*b. Is b less than or equal to l?
False
Let v = 51 - -46. Let i = 181 + v. Is 278 greater than or equal to i?
True
Let h(o) = -31*o - 196. Let q be h(-6). Let x be (2/q)/((-1034)/110). Which is smaller: -1 or x?
-1
Suppose 240 = 2*i + q, 264 = -383*i + 385*i - 3*q. Is 62 at most as big as i?
True
Let w be (-2 - (-4)/10)/(1650/(-125)). Do 0 and w have the same value?
False
Let z = 0.0288 + 56.8912. Let f = 0.92 - z. Is 0 not equal to f?
True
Suppose 4*v - c - 633 = 0, 2*v - 6*v + 627 = -3*c. Suppose 376*f = 379*f + v. Which is bigger: f or -54?
f
Let p be (-2 - 144/(-42))/((-81)/7). Let t = 223/162 - p. Is 3 <= t?
False
Let x = -485 + 801. Let f be x/(-12) + (-3)/(-6). Let j = f - -25. Which is smaller: j or 0?
j
Let y = 6 - 8. Let v be 8/(-2)*2/(-8)*2. Let r be (-6 + -1 - v) + 20/4. Which is bigger: y or r?
y
Let u = -3.02 - -1.25. Let b = u + 1.75. Is b equal to -4?
False
Let r be (-2 - (-20 + 12)) + (-630)/124. Is r at most as big as 2?
True
Let w(r) = -3*r**2 + 29*r - 9. Let j be w(9). Suppose 5*h - j = 46. Suppose 0 = 3*m + h - 38. Which is bigger: 11 or m?
11
Let m be 424/(-7)*2/(-8). Suppose 0 = -2*a + 5*r + 75, 226*r - 111 = -5*a + 230*r. Which is bigger: m or a?
m
Let b = -1389 - -862. Let q = 524 + b. Which is smaller: q or -0.024?
q
Let h(n) = 94*n - 4333. Let d be h(47). Is d bigger than 7?
True
Let s = -432.204 - 1.796. Which is smaller: s or -0.2?
s
Suppose 6*o - 1800 = -19*o. Suppose 0*w - o = w - k, 201 = -3*w - 2*k. Is w at least as big as -70?
True
Suppose 0 = 22*s - 617 + 1893. Let x(p) = -7*p**3 - 4*p**2 - 2*p + 1. Let g be x(-2). Let m = g + s. Which is smaller: -15 or m?
-15
Suppose -336*v - 294306 = 117294. Is -1226 bigger than v?
False
Suppose 2*k = 2*b - 2, 5*b - 5 = 3*k - 6*k. Let t = -8.4 - -72.4. Let l = t - 86. Which is smaller: b or l?
l
Let i = -11704 - -11704. Is -135 at most as big as i?
True
Let t = 4258 + -4260. Are 890 and t non-equal?
True
Suppose -g - 2*v - 20 = -10, -g - 3*v = 12. Let x be 5*(4 + g/3)/(-2). Which is greater: x or -2?
-2
Let f = 34.1 + -48. Let t = 13.71 + f. Is t at least as big as 2/11?
False
Let i = -107.9 - -113. Let u = -5 + i. Let q = -876 + 1755/2. Do u and q have the same value?
False
Suppose 88021 = 427*b + 42948 - 51856. Let j be 1360/6 - 2/3. Is b equal to j?
False
Let j = 6 + 141. Let k = 160.3 - j. Which is smaller: 2/7 or k?
2/7
Let g be 231/189 - (-2)/(-9). Let t be 0/((-2)/1*g). Which is smaller: t or 3/73?
t
Let t = 32.9 + -33. Let d be -3 + 24/4 - -1. Let c = -34/7 + d. Is t equal to c?
False
Suppose 10*y + 0*y - 17*y + 14 = 0. Suppose 0 = -3*h - 3*s + 6 - 15, -2*s + 12 = -4*h. Let d be y/(-8) + 43/12 + h. Which is greater: 1.5 or d?
1.5
Let o(s) = -111*s + 6879. Let f be o(62). Let l = -14908/4739 + 2/677. Which is smaller: f or l?
l
Let d(q) = q**3 - 2*q**2 - 142*q - 14. Let b be d(13). Do 2/5581 and b have different values?
True
Let a = -10967/2 + 5366. Let c = -3454 + 3335. Is a < c?
False
Let o be -5*(-4928)/2480 + -10. Let k(n) = 2*n**3 - n**2 - n - 15. Let v(u) = -u**3 + 8. Let b(h) = 3*k(h) + 5*v(h). Let i be b(4). Is o less than i?
False
Let d = 7 - 21. Let p = -19.06 + 5.06. Let u = p - d. Is u at most -0.2?
False
Let z = -14 + 7. Let c = 28 - -194. Let q be ((-21)/63)/(10/c). Is z greater than or equal to q?
True
Let c = 636 + -453. Let n = c - 183.4. Is -1/3 smaller than n?
False
Let b be ((-2)/3)/((-1)/(-9)). Let y = 227 - 217. Suppose -y*i - 62 = 8. Which is smaller: i or b?
i
Let i = -12 + 14. Suppose -i*l - 6 = 4*w, 6*l = l - 4*w - 21. Let s be ((-6)/4)/(3/12). Is s greater than l?
False
Let q be -1 + 10/2 + -1. Let z = -222 + 97. Let u = z + 125. Which is bigger: u or q?
q
Let h(d) = -2*d + 41. Let j = -28 - -47. Let b be h(j). Is 3 smaller than b?
False
Suppose -26*n + 12720 = 9184. Which is smaller: -85 or n?
-85
Let r = 161.9 - 161.939. Let l = 0 - -2/9. Which is smaller: l or r?
r
Suppose 0 = -3*k - 4*s + 9*s + 16, -14 = -5*k + 2*s. Let z be 1/k*(-744)/217. Which is smaller: z or -3?
-3
Let w(q) = -q**3 - 3*q**2 + 55*q + 242. Let g be w(-6). Suppose 5*f + 0*t - 190 = t, 0 = -5*t. Let r = g - f. Is r at least as big as -19?
True
Suppose 3*n - 82 = 2*x, -2*x - 86 = -4*n - 0*n. Let p(q) = q**3 - 8*q**2 + 10. Let u be p(8). Suppose 214 + 136 = -u*d. Are x and d equal?
True
Let c(g) = g**3 + 5*g**2 + 2*g + 4. Let r be c(-4). Let n be 3/18 - (0 - (-716)/(-24)). Let d = n - 17. Is d greater than or equal to r?
True
Let s be (-3 + 185232/61767)*4583586/15656. Let c = -11/521588 - s. Let a = -12/103 + c. Is a greater than 1?
False
Suppose 18*o + 1293 = 4821. Is o less than 220?
True
Let s be 2/(-6) - 890/(-2634). Let j = 8549 + -8548. Which is smaller: s or j?
s
Let s = 6451 - 6450.815. Is -2/19 >= s?
False
Let y be (-3)/2 - (-51)/30. Let t = 0.162 - -131.838. Let x = -133 + t. Is x at least y?
False
Let j = -1560 - -10940/7. Let l(b) = 7*b + 31. Let v be l(-4). Is j less than v?
True
Let t be (-2)/6*(-305721)/(-39). Is -2612 not equal to t?
True
Let x = -8433 + 8432.7. Which is bigger: x or 13/348?
13/348
Let y(u) = -8*u + 423. Let r(x) = -6*x + 283. Let l(g) = -8*r(g) + 5*y(g). L