
Suppose 23*j = 27*j + 4*m, -j - 5 = -4*m. Is j greater than -13/275?
False
Let g be (-189)/672*(-1)/357. Is -1 >= g?
False
Let j = 1702 - 1699. Are 15 and j equal?
False
Suppose -20876 = 20*z - 6856. Which is greater: -686 or z?
-686
Let i be (56/(-756)*1*12)/((-2)/60). Is i != 2?
True
Let l be 2670732/(-644700) + 5 - (-1 - (-26)/14). Which is smaller: 1 or l?
l
Suppose -269 - 143 = 4*r. Let t = r + 95. Is -8 at most t?
True
Let i be 4/30 + (-8 - -6)/(-10). Which is smaller: 5490 or i?
i
Let n = 0.0245 - -0.0255. Suppose 5*j - 225 = -0*j. Let y be (18/j)/(2/(-30)). Is n smaller than y?
False
Let j(u) = -u**3 - 23*u**2 + u - 12. Let g = 14 - 37. Let t be j(g). Let o be (t/(-24) - 2/6) + 0. Which is greater: o or 2?
2
Let t be (51/34)/(3/32). Suppose -12*w - t*w = -28. Is 15/11 bigger than w?
True
Suppose -2*n - 16 = -24. Let a be (1 + n)*(-18)/72. Which is bigger: 0 or a?
0
Let q = -651 + 644. Let g be (2/q)/(134/469). Let j = 3163/93 + -34. Is j at least as big as g?
True
Suppose 0 = -2*r + 3*r. Let z = -92378/75 + 6158/5. Which is bigger: z or r?
r
Let z be (((-302661)/(-25227) - 10) + -2)*(-6)/105. Is z not equal to 1?
True
Let i = -2164 - -1947. Which is smaller: -218 or i?
-218
Let n be (140/21 + -7)*381. Which is smaller: -125 or n?
n
Let m = -22330 - -22330. Let v be (2 - 1)*(-8)/542. Is m bigger than v?
True
Suppose 11*h = -2*h + 17160. Let v be ((-12)/(-190)*-1)/((-44)/h). Is v at most as big as 1?
False
Let w = 280.2 - 248.98. Let r = w - 0.22. Let b = r + -37. Is -3 at most b?
False
Let q(f) = -f**3 + 21*f**2 + 268*f + 65. Let c be q(30). Is c greater than 35.4?
False
Let r = -1065 - -988. Is r less than or equal to 25?
True
Suppose 2188*b + 1923*b - 98664 = 0. Let d = 58 - 38. Which is greater: b or d?
b
Let w(j) = -5*j + 60. Let f be w(11). Let g(r) = -r - 3. Let h be (-3 - -2)/((-4)/(-28)). Let z be g(h). Are f and z nonequal?
True
Suppose 27*u = 11*u - 18*u. Suppose u = 10*l - 818 - 502. Is l at most as big as 134?
True
Let g = -10475 - -10436. Is g != -113/3?
True
Let o = 6032/165 - 532/15. Which is greater: o or 1/203?
o
Suppose 0 = -4*u - 5*d + 412, 2*d = -6*u + 7*u - 90. Suppose k - 121 = -5*c, k - 460 = -4*k + 4*c. Is u not equal to k?
True
Let m = -0.093 - 0.057. Let o = m + -7.55. Let z = o + 7.9. Is z at least -0.11?
True
Suppose 1 = -3*h + 10. Suppose 2*w - 5*p = -0*w + 55, -55 = -3*w + 2*p. Suppose -w = -h*r - 30. Which is smaller: -7 or r?
-7
Let t = -11.516 + 11.716. Which is smaller: t or -33.16?
-33.16
Suppose 0 = 8*h + 28*h - 22536. Suppose h = -8*j + 914. Is j <= 39?
True
Let u be 10/(-8) - (-3)/4. Let n = -1.6235 + 0.0235. Is n smaller than u?
True
Suppose 4*f - 18788 = -2*i, 4*i - 409*f - 37611 = -410*f. Which is smaller: 9403 or i?
9403
Let n = -3.03 - -2.83. Which is greater: -0.802 or n?
n
Let y be (29 + 4935/(-168))/(((-18)/820)/(-3)). Is -50 <= y?
False
Let w = -4343 - -4757/2. Let h = w - -2035. Is 71 less than or equal to h?
False
Let b = 984 - 319. Suppose b = -3*d + 71. Let a be (-34)/(-187) - 8/d. Is a >= -2/7?
True
Suppose 46 = 20*g - 214. Suppose -g*h = -18 + 5. Suppose 0 = -3*r + r - 22. Is r at least h?
False
Let m = 1842 - 4900. Which is smaller: m or -3057?
m
Suppose 55523 = -18*w - 85165. Are w and -7816 nonequal?
False
Let b = 9875 - 10097. Is 0.07 < b?
False
Let g be (71 + -6)/(4 + -3) + -12. Suppose 2*z = -4*j - 12 + 110, -98 = -2*z - 2*j. Which is bigger: g or z?
g
Suppose 35*y = 38*y + f + 32, -4*f - 18 = 2*y. Which is smaller: -146/13 or y?
-146/13
Let o = 42 + -38. Let z be (1 - 6/o)*-2. Let q(i) = 14*i**2 - 2*i + 1. Let c be q(z). Are c and -0.1 equal?
False
Suppose -3*h + x - 23 = 0, -2*x = -64*h + 65*h + 17. Which is bigger: -1 or h?
-1
Let d(i) = i + 13. Let o be d(-10). Suppose 3*p = -5*r + 6*p + 18, -2*p + 13 = 5*r. Suppose -r*m + 38 = -5*x + 10*x, -o*m = 4*x - 31. Which is bigger: x or 9?
9
Let l(b) = 11*b**3 - 145*b**2 + 90*b - 20. Let z be l(12). Which is bigger: z or -815?
z
Let a be (-4682)/(-96) + (-1)/(-3). Let g = a + -149/3. Let j = 230488 - 230490. Is j smaller than g?
True
Let m be ((-2)/(-9) + ((-255)/(-270) - 1))*2. Is m at least as big as 14531?
False
Suppose h - 5*c + 10*c - 196 = 0, 0 = 3*h + 3*c - 636. Which is smaller: h or 222?
h
Let s = -5970 - -5927. Let j = -107 + 63. Is j < s?
True
Let j be ((-46)/(-69))/((-2)/114). Let a = -26 - j. Is a at least 13?
False
Suppose -x + 3*x + 8 = 0. Suppose 23*k + 451 = 359. Is x less than or equal to k?
True
Suppose 0 = 6*g + 3837 + 3417 - 1536. Is -950 bigger than g?
True
Let c = 6922 + -6923. Is c bigger than 1/378?
False
Let r = 0.9526 - 0.1796. Let c = -0.823 + r. Is c bigger than -13?
True
Let u = 22 + -20.9. Let x = u + -5.1. Let p = -173758 + 173757.92. Which is greater: x or p?
p
Let d(o) = -2*o**3 + 6*o**2 - 2*o + 3. Let u be d(0). Let i be 16/36*u + 42/(-18). Which is greater: i or -23/17?
i
Suppose 4*d - 10 = -34. Let y be d - 9*4/12. Which is bigger: -62/7 or y?
-62/7
Suppose -12*f + 2 = -11*f. Suppose 3*t = -u + 13, -3 - 8 = -3*u - f*t. Is u not equal to 3/10?
True
Let r = 0.15925 + 0.64075. Are 149 and r equal?
False
Let v be 15/(-14) + (-2)/4. Let u(c) = 4*c**2 + 23*c - 1. Let o be u(-6). Suppose -o*r + 7*r = -6. Which is smaller: r or v?
r
Suppose 308 = -9*z - 13*z. Which is smaller: -16 or z?
-16
Suppose 0 = -635*x + 606*x. Which is greater: x or -1/802?
x
Let r = -335518471/7119 - -47130. Which is smaller: r or 1?
r
Let g(u) = 822*u - 4932. Let q be g(6). Which is greater: q or -11/3758?
q
Let i(u) = u**2 + 55*u + 251. Let l be i(-53). Is l smaller than 8?
False
Let q be 1/250*(-7 - 1967/21). Let o = 1/375 + q. Which is smaller: o or -107?
-107
Suppose -56506 = 13*b + 41150. Are -7512 and b equal?
True
Let y = 248/235 - 12/47. Let a = 14.58 - 1.78. Let r = -15.8 + a. Is r equal to y?
False
Let a(n) = 5*n - 26. Let y be a(0). Let t = 23 + y. Let v be ((-10)/3)/(t/(-9))*1. Do -7 and v have the same value?
False
Let o = -925881 - -15745713/17. Which is smaller: 338 or o?
o
Let j be 64 + -67 + (1 - 1053). Let h be (-4 - -6) + 2125/j. Is 1 <= h?
False
Let c be (1 - -161)*(-21)/42*(-7 - -6). Which is bigger: c or 87?
87
Let d = -0.151 - -0.49. Let g = 0.661 + d. Do -36/17 and g have the same value?
False
Let b = 7903 - 7903. Let k be (-1)/(39/(-24)*-1). Are b and k equal?
False
Let m be (-2755)/105 + 48/18. Does 11 = m?
False
Let l be ((-10)/8)/((-4)/16). Suppose 46 = -l*g - 3*v, 2*g + 5*v - 6 = -32. Suppose -4*i - 2*q - 2*q = 28, 0 = 3*q. Is g equal to i?
False
Let r = 3387 - 3387. Which is bigger: r or -18/1951?
r
Let n = -8 + 5. Let s(m) = -383*m + 83. Let k be s(5). Let d = -5504/3 - k. Which is smaller: d or n?
n
Let c = 61.6 + -61.4. Let s = -20 + 16. Is c at most s?
False
Let z = 20 - 7. Let u = 4 - z. Let o = -0.36 - -0.36. Which is smaller: o or u?
u
Let w = 1 - -23. Let u = -68 + w. Let c = 43 + u. Which is greater: -0.14 or c?
-0.14
Suppose u - 274 = -2*l - 24, 615 = 5*l + 5*u. Which is greater: 1388/11 or l?
l
Let i be 2 - (-5 + 6)/((-4)/(-8)). Suppose i = 3*u - u - 56. Is 25 equal to u?
False
Let c be 4 - (3 - 27/3). Let u = 19 - c. Let p(x) = 7*x + 80. Let q be p(-10). Is q at most as big as u?
False
Suppose 0 = 8*h - 7 - 9. Suppose h + 16 = -2*t. Let a be -6*(-6)/t - 50/(-12). Which is bigger: -6 or a?
a
Suppose 330995 = 91*j + 154*j. Is j at least as big as 1350?
True
Let v(l) = -64*l**2 + 7*l - 1. Let w be v(1). Let h = 38 + -95. Is w < h?
True
Let f = -842/195 + -16/195. Which is bigger: f or 4/5?
4/5
Suppose 3*q = 3*c - 12, -5*c + 4*q - 9 = -32. Let f = c - 7. Let x = -200/33 + 1301/231. Which is bigger: f or x?
f
Let r be (140/(-10))/154 + 132/121. Let c be 1/(33/(-32)) + 1. Which is smaller: c or r?
c
Let r = -311882499 - -236718856115/759. Let p = 570/11 - r. Which is bigger: 1 or p?
1
Let b(p) = -p**2 - 907*p + 410. Let g be b(0). Which is smaller: g or 4498/11?
4498/11
Let b be 7 + -5 + 6/3. Suppose -374 = -48*d + 59*d. Let s = b + d. Which is smaller: -31 or s?
-31
Let x(d) = -d - 4. Let b be x(-5). Let m(k) be the second derivative of k**4/2 - 13*k**3/6 + 5*k**2/2 + 9*k - 4. Let r be m(2). Is r at least as big as b?
True
Let s = -424 + -38. Let p be (-1 - -2) + 399/s. Do p and -1/4 have different values?
True
Let q = -543 + 598. Let b = -63 - q. Are 1/4 and b non-equal?
True
Suppose 