113 and i unequal?
True
Let a be -1 - 0 - (-11)/(33/(-1092)). Let c = -366 - a. Let q = 72 + -21. Is c bigger than q?
False
Let s = -0.072 - -52.072. Let j = s + -61. Let w = -9.3 - j. Which is greater: 1.6 or w?
1.6
Let d(g) = -122*g + 8052. Let c be d(66). Which is bigger: 31/785 or c?
31/785
Let j = -13228 - -13333. Which is greater: -3 or j?
j
Let d be (((-2)/4)/(0 + 1))/(17/360706). Is -10609 at least as big as d?
True
Let x(j) = 6*j + 11. Let q(l) = 3*l + 5. Let d(i) = 11*q(i) - 6*x(i). Let z be d(5). Is z > -188/7?
True
Suppose 3*n = o - 2104, 0 = 4*o - 3*n - 5847 - 2605. Is o less than 2117?
True
Let j be (2467/(-7410) + 38/114)*3/3. Do -1 and j have different values?
True
Let u = -36 - -24. Let h = 807.09 + -819. Let t = u - h. Is 0.1 > t?
True
Let n be (-17)/17*(-2 - -2)/2. Suppose 2 = 2*s + 8. Let a be (-1)/49 - 0/s. Which is smaller: a or n?
a
Suppose -4*y + 28*h - 32*h + 60 = 0, 3*h = 6. Which is bigger: y or 215/17?
y
Let s be (-2)/(-3) + (-8)/6. Let y = 901672/35 + -25762. Which is smaller: y or s?
s
Let z be -1 + (2/(-9) - 152/(-36)). Suppose -z*v - o = 2*v - 7, -3*v + 18 = -4*o. Let b(r) = -3*r**2 + 2*r + 1. Let t be b(v). Which is smaller: t or 2/3?
t
Let d = -90 - -89. Let u be (308/(-287) - d)*(-3 + 4). Which is greater: u or 0?
0
Suppose q - 5*h + 12 = -3*h, q = 4*h - 6. Let z = -51.05 + 51. Let b = z - 0.05. Which is smaller: q or b?
q
Let c = -16 + -596. Let a = c - -586. Let d(k) = -2*k**2 - 3*k + 1. Let w be d(3). Is w at most a?
True
Suppose 0*z = -3*z + 4*z. Suppose 0*x = -z*x - 2*x. Suppose x = 4*o - 10*o + 24. Is 2 less than or equal to o?
True
Let l = 14.893 + -14.8. Let c = 5.307 + l. Is c at least as big as 1?
True
Suppose 20 = 5*a, -3*a = -3*j - 3 + 15. Let x be 2*(-6 + 244/j). Is x > 49?
False
Let u be (25/2895)/((-20)/(-24)). Let q be (-5)/(-7) + 14/49. Is q > u?
True
Suppose 10*g - 12556 = 4254. Is g at least 1682?
False
Let h(l) = l**2 + 4*l + 14. Let z be h(-6). Let m(c) = c**2 + 14*c + 22. Let t be m(-12). Let r be (-76)/57*(37/t - 1). Is r not equal to z?
False
Let g = -1501/182 - -58/7. Let h = -18223 + 18222. Which is smaller: g or h?
h
Let k = 1099/6549 + -1/177. Let g = -32/259 - k. Let a be (12 + -11)/(52/(-72)). Are g and a non-equal?
True
Let w = -2.943 - -0.043. Let p(q) be the first derivative of -q**2 - 56*q + 6. Let c be p(-28). Which is smaller: w or c?
w
Let c be ((-9)/19884)/((-64)/(-128)). Is c at most 0?
True
Let y be 4/6*(-12)/8. Let m be (2/16*-2)/y. Let j be (264/(-77))/(-6) - 1386/2597. Which is smaller: m or j?
j
Let r = 4094 - 200700/49. Is -2 at most r?
True
Let c be 1/4 + (-13)/4. Let b be 3*-10*c/(-9). Suppose -g = -5*n - 52, 3*g = -4*n - 32 - 21. Are b and n nonequal?
True
Let j be (-466)/210 + 1 + 49/(-63) + 2. Which is bigger: 0.2 or j?
0.2
Let j = -43637/39 - -1119. Let p = 62795089/195 + -322024. Let i = p + j. Which is smaller: 2 or i?
2
Let l be (-18472)/850 + -7 + 5. Let y = l + 483/25. Let x = y + 7391/1683. Which is bigger: -1 or x?
x
Let u = -1004 - -1451. Suppose 2*d = u + 613. Let g = d - 1573/3. Is 7 bigger than g?
True
Let h be (-44)/((-396)/675)*(6*-1)/(-2). Is 1118/5 greater than h?
False
Let l be 4/(-22) + 82620/297. Let a = -273 + l. Do a and 2 have different values?
True
Suppose 2*f + 5*r = 10*r + 29, 2*f - 24 = 4*r. Is f > 230/209?
True
Suppose 2*t - 27 = 3*h + 25, 4*h = -3*t - 58. Let j(o) = -4*o**2 - 68*o + 16. Let b be j(h). Which is bigger: b or 81?
81
Suppose 2*r - 134 = 4*w + 982, 0 = 2*r. Let t = 362 + w. Which is smaller: t or 84?
t
Suppose 0 = 2*l, 0 = -2*n - 0*n + 3*l + 28. Suppose 2*p = i - 4 - 3, i + 5*p = 7. Suppose -n = i*q + 7*q. Which is bigger: q or -9/16?
-9/16
Let l(b) = b**3 + 30*b**2 + 20*b + 204. Let t be l(-32). Is t != 0?
True
Suppose -24 - 37 = -2*r + 5*l, 3*l - 37 = -2*r. Let c = 281 + -257. Let p = r - c. Is -4 greater than p?
False
Let o = 33347/1596 - 251/12. Let p = -132461 - -132461. Is o smaller than p?
True
Let r(g) = g**2 - g - 32. Let b be r(5). Let a be (b - -9)*(-254)/(-6). Is a at most as big as -127?
True
Let k = 2 - 1.9. Suppose 4*m - 123 - 21 = -2*z, -m + 27 = -4*z. Let i be (8/(-150))/(1 - 21/m). Is k bigger than i?
True
Suppose 265 + 210 = 19*r. Is r bigger than 18/17?
True
Let w(m) = 6*m - 27. Let j be w(5). Suppose -3*o + j = -r - 3, 5*o - 27 = -4*r. Is o less than -12?
False
Let m = -20046 - -19286. Which is smaller: m or -759?
m
Let b = -37407 + 21017. Which is bigger: -16391 or b?
b
Let j be 12 + (-2 - -4 - -1). Suppose j = -7*g + 10*g. Suppose -13 - 127 = g*q. Is -27 greater than or equal to q?
True
Let r = 17753 - 17831.03. Let h = -79 - r. Is h smaller than -1?
False
Let q = -1480 + 69561/47. Let k = 4275341705/17954 + -476255/2. Let g = q - k. Is -1 <= g?
True
Let r = -17 + 27. Suppose 0 = -17*l + 10*l. Suppose -3*v + 4*o = -2, -4*o + l*o = -4*v. Which is greater: v or r?
r
Let x be (960/(-39))/5 + 5. Let d = -2/13 + x. Let y = -6 - -6. Is d <= y?
True
Let h = 7858 + -7858.1. Is 47 less than h?
False
Let l = -3631 - -3630. Is -3/1928 less than l?
False
Let l = 4570 - 4380. Is 203 > l?
True
Suppose 2*s + 3 = 3*s. Let z be (-2)/564*-4*s. Let g = 0.04524 - 0.04524. Which is greater: z or g?
z
Let o be (-4115)/1818*17 - 6/27. Let j = o - -7/202. Which is smaller: j or -38?
j
Let h be (0 + -1)*(-5 - (0 + 58)). Let v = h + -61. Let u be v*(-1 - (700/(-72))/7). Which is smaller: u or 2?
u
Suppose -29*k - 17221 = 7139. Let t = -216 - k. Is t < 624?
False
Let n = -2103.0913 + 2103. Let x = n - 1.9087. Let a = 34/15 + -3/5. Is a < x?
False
Let m = 804.93 - 49.93. Which is smaller: 5 or m?
5
Let p(h) = 25*h - 499. Let s be p(22). Is s less than 649/13?
False
Let w = -104 - -158. Let c = -38 - w. Let r = c + 63. Which is bigger: r or -31?
r
Let f be 734/(-2716) - (-2)/7. Let k(m) = -m**2 + 11*m - 29. Let l be k(5). Which is smaller: f or l?
f
Let n = -1304 - -1303. Let x(d) = -d**2 - 13*d - 8. Let c be x(-12). Suppose 4*q = -c*z - 56, 0 = -4*z - 0*q - q - 56. Which is greater: z or n?
n
Let d be -4 + 4 + 4 - -141. Let v = d + 80. Is 224 < v?
True
Let i(d) = -14*d**2 + 1. Let p be (2 - 1)/((-13)/(-26)). Let h be i(p). Let v be (22/h)/((-11)/(-5)). Which is smaller: 0 or v?
v
Let z be (2 - (-5)/(-5))*(8 + -8)/(-6). Is z at most -2/4643?
False
Let s = -5.32 + -2.68. Let t = s + -32. Which is bigger: -11 or t?
-11
Suppose 12*x + 28 = 19*x. Let n(f) = 3*f + 4. Let j be n(x). Suppose -7*o + 5*o = -j. Which is smaller: 33/4 or o?
o
Let d = 8066 + -8065.9. Is d at most as big as -413?
False
Let z be (-182)/(-780)*10 - (-685)/(-417). Is 2 less than z?
False
Let n(u) = 27*u**3 + 10*u**2 + 8*u - 12. Let j be n(4). Let o be 4/(3/(j/6)). Is 424 not equal to o?
False
Suppose -3*w = -2*w. Let c = -272998/139 + 1964. Which is greater: w or c?
w
Let n = 34177/3 + -342173/30. Which is smaller: -14 or n?
-14
Let l be ((-6)/18)/(2/498). Let p = -1413/17 - l. Is 34 >= p?
True
Suppose 5*b - 296 = 10*b - 13*b. Do -2 and b have the same value?
False
Suppose -41*l + 11*b = -39*l + 816, 0 = 4*l + 2*b + 1824. Which is greater: l or -440?
-440
Let f = -0.1043 + -0.0957. Let q(m) = -m**3 + 14*m**2 - 12*m + 6. Let g be q(13). Suppose 0 = k + g + 11. Which is greater: f or k?
f
Let u(y) = -14*y - 119. Let j be u(-10). Let f be (-99)/j - -5 - 110/(-7). Let d be (-189)/(-11) + (-4)/22. Which is smaller: f or d?
f
Let i = 180 + 277. Let g = 456.8 - i. Which is bigger: g or 115?
115
Let b = -63 + 69. Suppose -b*k + k + 75 = 0. Let w(r) = r + 26. Let c be w(-11). Do k and c have the same value?
True
Let g(t) = 2*t**2 - 139*t + 585. Let b be g(65). Are b and -6/4909 equal?
False
Suppose 3*f = 5*f. Suppose -3*b - 4*y = 32 + 10, f = 4*y. Let i be -1 - (0 + (-6)/b). Is i at most 0?
True
Suppose 0*b - 33 = -4*b - 3*v, 5*b + 5*v = 40. Let a be (b/18)/(((-1)/46)/(-1)). Suppose a = 2*w + 3. Is w < 10?
False
Let n(f) = -f**2 + 27*f - 37. Let r be n(25). Is 27 bigger than r?
True
Suppose -s - 2*m = 40 - 66, -5*s = -m - 130. Let b be (-2715)/195 - -6 - 2/s. Suppose -6*c = -c - 5. Is c bigger than b?
True
Suppose 2*s - 5*n = -9, 10 - 4 = 5*s - 3*n. Let g = -307 - -263. Let t be g/(-231)*3*14/(-4). Which is smaller: t or s?
t
Let d = 5.016 - 5. Let g = 8.304 - 8.3. Let t = d + g. Which is bigger: 4/3 or t?
4/3
Let z(u) = 1 + 14*u - 32*u + 9*u + 4*u. Let r be z(-3