354 <= f?
False
Suppose 0 = 3*i + 4*c + 1, 11*i - 2 = 6*i - 3*c. Are 2/619 and i non-equal?
True
Suppose 4*p - 17932 = -2*v, 3*p + 2*p + 4*v = 22424. Which is smaller: 4478 or p?
4478
Suppose 9*f + 182 = -34. Let w(x) = 2*x**2 + 47*x + 4. Let p be w(f). Which is smaller: p or 25?
25
Let n be -4 + 1 + 7 + -3. Let b be 2/30*(n - -11). Which is smaller: b or 0?
0
Suppose 0 = -4*o - 111 - 125. Let p(t) = 13*t + 73. Let j be p(-10). Which is greater: j or o?
j
Suppose -2*t + 5*x - 15 = 0, 2*x = t - 0*x + 5. Suppose 10*l - t*l = 10. Let i be l/(0 - 3/15). Which is bigger: i or -9?
-9
Let s(z) = -6*z - 38. Let j be s(-6). Let w be ((-6)/7074)/(j/(-12)). Is w at least 0?
False
Let m = -409 + 403. Let x = -112 - -114. Which is bigger: x or m?
x
Suppose -2*g - 11448 = -8*g. Suppose d - 10*d = g. Are -214 and d equal?
False
Suppose 0 = 3*v - 33*p + 28*p - 10310, -v = -5*p - 3430. Which is greater: v or 3439?
v
Let k(r) = -1200*r - 2198. Let m be k(-2). Which is smaller: -1 or m?
-1
Let h be 9/3 - (0/(-4))/4. Let r(n) = n**2 - 13*n + 4. Suppose 3*u + 2*m - 36 = -m, 0 = -u + 5*m + 18. Let k be r(u). Is k at least h?
True
Suppose -20 = 5*z + 2*s, 2 - 6 = z + 5*s. Let l be 46/z - 2 - -4. Let j be ((-55)/2)/5*2. Do l and j have the same value?
False
Let d = 0.0613 + -68.0613. Which is smaller: d or 11?
d
Let l = -9/1268528 + 1845077711/526439120. Let h = l + -2/415. Suppose -250*x - 1070 = -464*x. Is x smaller than h?
False
Let l = -411 + 130. Let k = -278.38 - l. Let z = 0.38 + k. Is z greater than or equal to 1/6?
True
Let b be ((-145)/(-30)*-9)/(1/(-2)). Suppose -l + 5*u - u = b, 0 = -5*l + 3*u - 384. Is -77 != l?
True
Suppose -27*c = -2*f - 25*c - 2472, f + 2*c + 1236 = 0. Is -1239 not equal to f?
True
Let j = 2.00317 + 0.09683. Is j at most -94?
False
Let f(n) = n**3 + 8*n**2 - 52*n - 209. Let y be f(-11). Is -1/866 > y?
False
Let y = 0.1516 + -0.2816. Let k = -6.03 + 6. Let m = k - y. Is m greater than 51?
False
Suppose -4*u - 21 = 3*h, -444*u + 448*u = 5*h - 29. Which is greater: h or -18/793?
h
Let o be (-1)/7 - 6595/(-595). Let g = o - 1028/153. Is 5 smaller than g?
False
Let h = 22.48 - 22.7. Let c = h + -0.68. Which is greater: 0 or c?
0
Let c = -4367 + 4360. Is -273/47 < c?
False
Let z = -1019/92718 + 1/918. Let p = 160/5959 + z. Is -1 greater than p?
False
Let d(f) = f**3 - 10*f**2 - 11*f - 1. Let j be d(11). Let k = 26 + 14. Let b be (3 + -2)*8/k. Which is greater: j or b?
b
Let b = -56101404 - -482864784889/8607. Let i = 1/151 - b. Is i bigger than -1?
True
Let l = -0.3737 - -0.4737. Which is smaller: 80.6 or l?
l
Let j = 1.663 + 133.437. Let l = j - 135. Are 3/7 and l unequal?
True
Suppose -1 = 3*u + 2. Let z = -5311176/53059 + 9710/97. Is u greater than z?
False
Let l be 369/(-81) + 5 - (-190)/18. Suppose -15*q + l = -4. Is q less than -2/335?
False
Let n = 3.4 - -12.2. Let w = n - 17.66. Is -1 at least as big as w?
True
Let v = -28349 + 28086. Which is bigger: 3.1 or v?
3.1
Let m(u) = 162*u - 12478. Let o be m(77). Suppose 4*y + 85 + 107 = 0. Let c be -5*(y/33 - -2). Is c greater than or equal to o?
True
Let w be 7/7 + 884/119. Is w not equal to 7?
True
Let k = 17.97994 + 0.02006. Is 0.32 at most as big as k?
True
Let p(d) = 10*d + 4. Let b(y) = y**2 + 14*y - 19. Let n be b(-17). Suppose n*t = 39*t - 21. Let h be p(t). Is 33 at least h?
False
Let j be (198/(-693))/((-1)/28) + -5. Suppose -2*q + 20 = 3*q + 5*s, 0 = -5*q - 2*s + 17. Suppose j*t = 6*t + q. Is -2/27 greater than or equal to t?
True
Let s = -78 + 109. Let c = 31 - s. Let k = 1430/17 + -84. Is c greater than or equal to k?
False
Let r = -66 + 41. Let x(z) = -z**2 - 6*z - 5. Let i be x(-5). Suppose i = -183*d + 179*d - 100. Is r < d?
False
Let t(k) = -k**3 - 10*k**2 - 8*k + 6. Let p be t(-9). Let s be 64/(-96)*(p/(-7) + 0). Which is smaller: s or -72?
-72
Let x = 1.43 + -1.36. Which is smaller: x or 0.004?
0.004
Let k = -25 + 27. Let i = k + -3. Let x be (1 + i)*-3*1/(-3). Are x and 1/3 unequal?
True
Suppose -1001 = -2*j - j - 4*p, 3*p = 2*j - 639. Let g = j - 303. Is 0 greater than or equal to g?
False
Let h = -157 + 159. Let x be 1*(h/48)/((-2)/(-4)). Are -17 and x unequal?
True
Suppose 469*q - 471*q + 4 = 3*n, -2*n = q - 2. Is n less than or equal to 28228?
True
Let u be -27*1*(80480/(-3832) + 21). Do -1 and u have the same value?
False
Let v = 721 + -720.9598. Let y = v - 666.0402. Which is greater: 0 or y?
0
Suppose 3*a + q = 515, 19*a + 864 = 24*a - 4*q. Let b = a + -863/5. Suppose -2*v = y - 2*y + 8, -5*y - 30 = 4*v. Which is smaller: y or b?
y
Let m(g) = -3*g**3 - 22*g**2 - 3*g - 15. Let x be m(-5). Let k = x - -174. Do k and -2/175 have different values?
True
Let w = 0.62 - 0.83. Let i = w + 0.31. Let z = 149 + -182. Are i and z equal?
False
Suppose -5*l = 2*k - 6, 180*l = 183*l + 4*k - 12. Is l < 8/157?
True
Let c be ((-14)/(-210))/((-4)/(-36552)). Which is bigger: 609 or c?
c
Let r = 3216 + -3216. Is r at least as big as 8/703?
False
Suppose 7*g = 3*g + 12. Let z = -19.4 + 23.12. Let s = 2.72 - z. Which is smaller: g or s?
s
Let f be (-85)/(-40) + 0 + -2. Let a be (14/1)/2 - (1 - -1). Suppose 5*u + 4*o + 7 = -1, -a*u + 6 = -3*o. Which is greater: f or u?
f
Let f = 6538 - 8488. Is f not equal to -1949?
True
Let a be (7 - (-371)/(-49))/((-20)/14). Which is bigger: a or 7559?
7559
Let y = 1170059/970074 + 3/15398. Which is greater: 0 or y?
y
Suppose -6*r + 19 = 7. Let o(t) = -t**3 + 2*t**2 - 7*t + 14. Let a be o(r). Which is smaller: -6/91 or a?
-6/91
Let k(v) = -v**2 - 44*v - 452. Let p be k(-16). Suppose 3*y - 2 = 1. Suppose -3 = h - y. Which is bigger: p or h?
h
Suppose 3*l + 1 + 1 = n, -n - 4*l + 37 = 0. Let h = -106 + 248. Let j = -141.9 + h. Do n and j have the same value?
False
Let w = -43 + 59. Suppose -88*q - w = -92*q. Let o be (-6)/q + (-1155)/42. Is o <= -29?
True
Let d be 78/195*(-45)/(-12)*-470. Is -704 <= d?
False
Let k = -36/17 + 161/68. Which is smaller: k or 133.2?
k
Let p = 0.63 - -25.37. Let i be -4*((-395)/(-20) - -1). Let o = 81 + i. Which is greater: p or o?
p
Let v = 5.918 + -218.918. Which is bigger: 23 or v?
23
Let c = -2/391 + 8215/782. Let s be 183/18 + (-2)/12. Which is greater: s or c?
c
Let z = 3152993037402/785 - 4016554213. Let a = 2573 + z. Which is smaller: 0 or a?
0
Suppose 0 = -a - 0 + 2. Suppose 5*j - m = -14, j + a*m + 2 = 3*m. Let u be (j + 3 - 3) + (-74)/(-26). Which is smaller: -1 or u?
-1
Suppose 0 = 3*q - 2*v - 3, -5*q = -5*v + 100 - 105. Which is bigger: q or 14?
14
Let w be (-1477)/(-1266)*27/(-14). Let t(p) = -p. Let y be t(0). Let f = -1 + y. Is w at least as big as f?
False
Let v = -1307035/2463 - -1/821. Is -530 <= v?
False
Let k be 2 + 1*(-2 + 40). Let f = k + -24. Suppose 4*d - 135 = 5*v + f, -2*d + 122 = -4*v. Is -30 >= v?
True
Let z = -1275 + 1277. Which is smaller: -2774 or z?
-2774
Let u = -1276.32 + -41.68. Which is bigger: u or -0.3?
-0.3
Let s be (4/26 - (-33)/39) + 541/(-4). Is s greater than -4?
False
Let r be (3/9)/(2/(-246)). Let c(d) = 7*d + 382. Let y be c(r). Is 96 less than y?
False
Suppose -6*l + 2*t = -3*l, 0 = 3*l + 5*t + 21. Let a be l/5 - (-2 - 3005/(-1875)). Is 0 at least as big as a?
True
Let u = -346 + 349. Suppose 7*f = u*f + 2*m - 4, 3*f = 3*m. Which is greater: -23/19 or f?
-23/19
Let q be (16/4)/((-6)/(-3)). Suppose 2*w = 6, -4*w + 5*w + 69 = q*v. Let h = 487 - 452. Is h >= v?
False
Let x = 11657 - 11657. Which is bigger: x or 23/402?
23/402
Let o = 2.243 + -2.2473. Is 11/5 less than or equal to o?
False
Let k be ((10/25)/(-1))/(16856/84). Which is bigger: k or -1?
k
Let f(u) = u**3 - 6*u**2 + 7*u - 4. Let p be f(5). Suppose -5*s + 4*g = -8 - 14, 3*s + p = -4*g. Let k = 30512/35581 - 2/5083. Which is greater: k or s?
s
Let w(g) = 127*g - 11. Let t be w(3). Suppose 3*z - t - 8 = 0. Let j be ((-501)/z - -4)/(14/(-8)). Is j bigger than 0?
False
Suppose -25 = -78*c + 57 - 4. Is 23/381 less than c?
True
Suppose -11*b + b + 50 = 0. Suppose -2*i + 230 = -t + 6*t, b*i - 575 = -3*t. Which is greater: i or -2?
i
Let b(o) = -o**2 - 18*o - 10. Let j be b(-10). Suppose -z = -3*x + 170, -8*x + 116 = -6*x + 2*z. Let g = j - x. Which is smaller: g or 16?
g
Let a = -29.99 + -7.33. Let d = 2.22 + a. Let q = d - -35. Which is smaller: -39 or q?
-39
Suppose -663 = -2*s + 3*q - 6*q, 4*q = -4*s + 1324. Let f = -3