r o?
o
Let o(t) = 253*t - 9343. Let n be o(37). Is n > -792?
True
Let x = 7301.8 - 7301.8. Let f = -118/3 + 917/24. Is f >= x?
False
Let l(g) = -103*g - 9992. Let c be l(-97). Is c less than -640?
False
Let a(k) = 2*k**2 + 6*k - 48. Let s be a(17). Suppose -s = -26*x + 1500. Is x less than or equal to 82?
True
Let j be ((-69)/(-207))/((-1)/(-9)). Suppose 2 = -3*u - 2*q - 0*q, u + 3*q = -10. Suppose j*f = -u*a + 47, -5*a - 5*f + 131 = -2*f. Which is smaller: a or 26?
26
Let d be 4/10 - 280/200. Does d = -24/473?
False
Suppose 4*k = 322*t - 325*t - 1381, k + t = -345. Is k <= -348?
False
Let w(c) = -452*c + 2330. Let y be w(6). Is y less than -368?
True
Suppose -i = 4*i - 40. Let m(o) = 15*o - 8. Let x be m(i). Let v be ((-256)/x)/(2*1). Is 0 greater than v?
True
Let m = -11692 + 11686. Which is bigger: -79/13 or m?
m
Suppose 2*b = -3*b - 5*n + 2355, 3*n + 479 = b. Let l = b + -463. Let v be ((-17)/(-3)*2)/1. Are v and l equal?
False
Suppose 64*x - 208 = 48*x. Suppose 24*s = x*s + 22. Which is smaller: s or -8/13?
-8/13
Suppose 3*m + 10*m = -65. Suppose -40 = 2*v - 7*v. Let f be (-25)/4 - (-2)/v. Which is smaller: m or f?
f
Let h = -2325560/201 - -11570. Let b = h - 2080/1407. Does -2 = b?
False
Suppose -21*k + 22*k = -35. Let w be 1*k/(-15)*3. Suppose -13*y - 3 = -81. Which is smaller: y or w?
y
Suppose 0 = -6*o + o + 20. Suppose t - 7 = -o. Let j(x) = -x**3 + 3*x**2 + x - 1. Let v be j(t). Is v <= 39?
True
Let u = -51 + 45. Let x = -6 - -14. Let c be x/(-14) + 88/154. Is u smaller than c?
True
Let r = -88 + 82. Let w be 4*((-4)/r + (-28)/24). Let j be (4/14)/(6/(-15)). Which is bigger: j or w?
j
Let w = -1529104/67778557 - 2/152999. Which is smaller: w or -1?
-1
Let w = -4219 + 805837/191. Is 0 bigger than w?
False
Suppose -4*p + 32 = 4*x, -2*p - 5 = -x - 0*x. Suppose 14*v = b + 16*v + 15, -6 = -b + 5*v. Are x and b non-equal?
True
Suppose -2*s - 8150090 = 4*o, o - 6*s = -2*s - 2037500. Let w = -112077624/55 - o. Let v = -255 - w. Which is smaller: 0 or v?
v
Suppose 449*r = 573*r - 1240. Let v = 4 + -16. Is r less than v?
False
Let x be 19/((-190)/(-80)) - -127. Which is bigger: x or 144?
144
Let i = 2 - -3. Let s(n) = 7*n**2 - 27*n + 5. Let w be s(2). Let h be (21/27)/1*6/w. Which is smaller: h or i?
h
Let h = -336.9432 - 0.0568. Let u = 335.9 + h. Are -1 and u equal?
False
Let b = 2.04537 + 0.11463. Is -3 >= b?
False
Let r(c) = -9*c**2 - 17*c + 30. Let d be r(-3). Which is bigger: d or -97?
d
Suppose -5*c - 116904 = c - 117594. Is c <= 104?
False
Suppose -7*d = 2*d - 1467. Suppose 9*i - 116 = d. Suppose y - 6*y = -k - i, -2*k - 2*y - 2 = 0. Does -3 = k?
False
Let n = 2.008 - 0.008. Let s = -9.2 + n. Let m = -6.2 - s. Which is smaller: 9 or m?
m
Let o be 700/(-90) + (2/(-9))/1. Let r(u) = u**3 + 4*u**2 - 2*u + 2. Let n be r(-4). Let g be 310/75 + o/n. Which is smaller: g or 2?
2
Let y be (-613 - 10)/((-75)/50 + 2/4). Which is greater: 620 or y?
y
Let p(w) = 8*w**2 - 624*w - 1. Let i be p(78). Is -5/188 at least as big as i?
True
Suppose -42*l = -3*l. Let b be -3*(l - (6/18 + 5)). Which is greater: 31/2 or b?
b
Let g = 11.299 - 10.981. Which is smaller: 0.05 or g?
0.05
Let q = 47 - 41. Suppose m - q*m = 10. Let c be ((-3)/9)/(-1 - m). Which is bigger: c or -34?
c
Suppose 22 = 5*f - 4*p, -18*p + 16*p = 3*f. Let t be 3 + 143748/(-46206) + f/17. Is t greater than -1?
True
Let g = 320 - 212. Let b = g + -111. Let o be (4/(-1) + 4)/(b - -2). Is -3/5 bigger than o?
False
Suppose -6*p + 1640 = -100. Let b be 6 + 328/(-56) + p/28. Is b <= 1?
False
Let o(f) = -f**2 - 3*f + 5. Let g be o(-4). Let l = 568 - 534. Let m = 39 - l. Which is greater: g or m?
m
Suppose k - 20 = 3*b, -80 = -4*k - 5*b - 0*b. Let a = 18 - k. Let x be a/9 + 13/(-315)*-4. Is x >= 0?
False
Let o(l) = -l**2 - 26*l - 153. Let m be o(-18). Let g(t) = -5*t**2 + 6*t**2 + 7*t + 2*t. Let i be g(m). Which is smaller: 3 or i?
i
Let s = -5806 - -5809. Do s and -568 have the same value?
False
Let u(z) = z**3 + 4*z**2 - 11*z + 10. Let p be u(-6). Suppose -5 = 4*t - 21. Suppose t*h = q + h + 10, 2*q - 10 = -p*h. Which is smaller: -2/25 or q?
q
Let x(n) = 12*n**3 + 3*n - 8. Let k be x(-6). Let d = k + 13148/5. Suppose 4*m - 41 = -3*u - 4, -m + 34 = 3*u. Is d bigger than u?
True
Suppose 1365 = 5*l + 5*k, 5*l + k = -2*k + 1357. Let p = l - 271. Which is greater: -14/23 or p?
-14/23
Suppose 5*h = 20 - 5. Let j(f) = 3*f**2 - 3*f - 13. Let d be j(3). Let k be d/((-25)/(-5))*4. Is h equal to k?
False
Let s(z) = z**3 + 9*z**2 + 27*z + 102. Let d be s(-8). Is d less than or equal to -49?
True
Let w be (0 + -1)/((3/762)/1). Let h = -167 - w. Is 89 greater than h?
True
Let c = 9/5542 - 9100063/60962. Which is greater: -150 or c?
c
Let x = -443 + 442.961. Let f = x - 6.961. Is 4 smaller than f?
False
Let h be (-30)/(-25)*(1 + -6). Let t = 107.6 - 124. Let r = 16.7 + t. Is r greater than h?
True
Let o = -10879 - -10878. Is 1/910 > o?
True
Suppose -17*n - 52 = 4*y, 67*y = -2*n + 70*y + 39. Let f = 3736024/597 + -6258. Which is smaller: n or f?
f
Let h be (38/207)/(((-1037)/(-34))/(-61)). Which is greater: -1 or h?
h
Let y(m) = m**2 + 60*m + 765. Let z be y(-20). Is -1.2 smaller than z?
False
Let z be (-4)/(-6) + (-104)/12. Suppose -3*y + 954 = -3*b, 3*y + 2*y + 5*b = 1570. Let w = y - 324. Do z and w have different values?
False
Suppose 2 = 2*d, 3*d + 144 = 46*h - 49*h. Let x(o) = -2*o**2 - 9*o + 8. Let k be x(-8). Is h greater than k?
False
Suppose 4*p = 3*p + 30. Let x = -624 - -848. Suppose -168*f + 176*f = x. Is f greater than or equal to p?
False
Let p = -0.15 + 0.85. Let y = -176 + 93. Let f = -82.9 - y. Are f and p equal?
False
Let o(x) = -6*x - 40. Let g be o(-7). Suppose -4*q - 68 = 7*m - 4*m, -5*q = g*m + 36. Let v be 1/(-15)*m*(-40)/48. Which is smaller: -2 or v?
-2
Let g = 139/284 + 22337/30956. Is 2 at least as big as g?
True
Let j be ((735/(-14))/7)/(3/(-10)). Let w be 35/j*495/22. Suppose 52 = 2*l - 0*c - 4*c, -5*c + 15 = 0. Is w less than l?
True
Let w = -10259 + 2533976/247. Is 0 greater than w?
False
Suppose -29*s - 4*l = -25*s + 156, -5*l - 63 = 2*s. Let r = -146 - -103. Which is smaller: r or s?
s
Let f be -5*(3 + 44/(-20)). Let c be (0 - 2 - 2*f) + -2. Suppose -3*r + 11 = -5*k, -3 = -c*r + 3*k + 8. Is r at least 2?
True
Suppose -2*c - 5*o + 503 = 0, 16*c - 2*o = 13*c + 783. Suppose 51 = 256*i - c*i. Which is bigger: -11 or i?
-11
Suppose 2*m + 9 = 5*m. Suppose 0 = -m*t - 2 - 1. Suppose -3*c - 180 = -15*c. Are t and c non-equal?
True
Let g(j) = j**2 + 2*j - 9. Let f(i) be the first derivative of 2*i**2 + 72*i + 10. Let t be f(-19). Let s be g(t). Which is bigger: -1/41 or s?
-1/41
Let u = -161.789 - 0.211. Let s = u - -159. Which is bigger: 2/5 or s?
2/5
Suppose -4*q = -5*u - 5205, 42*q - 43*q = 2*u - 1298. Is 1303 greater than q?
True
Suppose 14 = 6*x - 4*x. Let t = 3748/3 + -1241. Is t < x?
False
Suppose -c - 387 = -100. Let i = -115875 - -115589. Is c <= i?
True
Let a = 4.93 - -0.07. Let i = a + 31. Let w = -28 + i. Which is smaller: w or 3?
3
Let r = 3826.0684 + -3826. Are r and -8 equal?
False
Suppose -397*s = -441*s - 3168. Which is smaller: -66 or s?
s
Suppose -47*l = 136*l - 12*l + 2533365. Is -14815 less than or equal to l?
True
Let w be (-1)/((1 + -2)*2/(-50)). Let y(a) = 3*a + 54. Let b be y(-23). Which is bigger: w or b?
b
Suppose 0 = -4*b - 4*q + 976, 0 = 9*q - 4*q - 0*q. Suppose 0 = 4*z - 2*u + 37 - 1017, -z = -3*u - 250. Is b greater than or equal to z?
True
Let m = 263.17 - -316.78. Let g = m - 580. Is g at most as big as -0.062?
False
Suppose -11*l - 29 = -10*l + 4*d, 3*l + 3*d + 96 = 0. Let r(q) = 2*q**2 - 3*q - 6. Let h be r(5). Let i = h + l. Is i smaller than -0.8?
True
Suppose 0 = -74*d - 709686 - 299008. Is d at most -13631?
True
Let z be ((-140358)/56)/(14 + -17) - (-13)/52. Which is greater: z or 836?
836
Suppose -9*b + 2*u + 8 = -4*b, 5*b - 5*u = 20. Which is smaller: 13/11 or b?
b
Let d be 31/(0 + 0 + -1). Let z = -7922 + 7890. Is z equal to d?
False
Suppose -5*f = 923 + 1037. Let o be (-4)/14 - 0 - 1141/f. Are -0.2 and o unequal?
True
Let d be 4/(-1)*(5/32 - 0). Which is smaller: d or 0.03?
d
Suppose 9*b = 2*b - 56. Let y be b/(-372)*30/1. Is y < -1/3?
False
Let g = -36.026 - -36. Let j = g - -40.026. Let r = j + -62. Is 0.1 smaller than r?
False
Let v be (