-g*x + 2 = -0. Are 1/25 and x equal?
False
Suppose -g - 4*m + 57 + 43 = 0, m = -4. Is g less than 0.3?
False
Let j = -273 - -272.8. Which is smaller: j or -1/54?
j
Let i(p) = p**3 + 8*p**2 - 39*p + 21. Let c be i(-12). Which is greater: -88 or c?
c
Let y = -54 - -730/13. Which is greater: 2 or y?
y
Let f = -58497/5 + 11620. Is f at least as big as -78?
False
Let l(h) be the second derivative of -h**3/3 - 3*h**2/2 + h. Let v be l(3). Let x = v - -25/3. Which is smaller: x or 0?
x
Suppose -5*p + 2*d = 1705, -3*p = -7*p + 2*d - 1366. Which is bigger: -1 or p?
-1
Let a = -80 - -79. Let q be ((-6)/4)/((-6)/(-8)). Let s be (6/42)/(q/(-2)). Are s and a equal?
False
Let w be (-18 + 9)/54 - (-275)/(-6). Which is smaller: w or -47?
-47
Let q = 171 - 356. Which is bigger: -179 or q?
-179
Let h = -0.9912 - 0.0088. Which is smaller: h or -47?
-47
Let c be 63/(-44) - (-6)/33. Suppose -5 = -p + 20*a - 15*a, 5 = -5*a. Is c at least as big as p?
False
Suppose 0 = i - 6*i - 20, 2*i = -5*r + 57. Suppose -8*b = -5*d - r*b - 15, 9 = d - 2*b. Which is smaller: 40 or d?
d
Let l = 76 - 54. Suppose -l = -2*z + 4*d - 0*d, 0 = d. Suppose 2*f = 3*j - 0 + z, -2*f + 5 = -j. Which is greater: 3 or f?
3
Let o = 1579 - 1592. Which is smaller: o or -66?
-66
Let c = 138 - 33. Is c at most 2/25?
False
Suppose -116 = -3*k - 5*p, -3*k - p = -7*k + 124. Which is greater: 31 or k?
k
Let m = 0.28 + 1.72. Let v = 281/3 - 1949/21. Which is greater: m or v?
m
Let v be (6 - 31)/(1 - 0). Let i = -40 - v. Is -16 >= i?
False
Let r = -2.55 + 2.3. Let a = 31.25 + r. Let p = a + -23. Is p equal to 0?
False
Let u = 143 + -2432/17. Which is greater: u or 0?
0
Suppose -b - 3*p - 182 = 0, -10*b - 974 = -5*b - p. Is -195 <= b?
True
Let k = -564 + 598. Which is greater: k or 32?
k
Let a = -80.5 - -77.12. Is a not equal to 1/4?
True
Suppose -4*w - 14 = -v, -2*v - 4*w - 58 = -5*v. Let q = v + -21. Let k = -6 + q. Is -14/3 != k?
True
Let i = 0.26 + 16.74. Let q = 10 - i. Let u = q + 11. Are u and -0.2 non-equal?
True
Let s be (1414/(-78))/(8 + 568/(-72)). Let d = -163 - s. Is d smaller than -29?
False
Suppose -3*j = -j + 4*y - 8, 4*y = 4*j - 4. Let t be 24/(-18)*9/j. Let z be (-1)/t + 77/(-66). Which is smaller: -4/7 or z?
z
Let k = -9 + -7. Let q = 15.7 + k. Which is bigger: -6 or q?
q
Let b = 19 + 51. Which is greater: b or -0.01?
b
Let k = -14.9 - -82. Let z = -67 + k. Do 1 and z have the same value?
False
Suppose -4*o = -3*o - 2. Suppose o*s + 7 = -q, 4*q = -2*s - s - 3. Is -4 >= s?
True
Let g = 2.131 - 0.031. Let y = g + -2.15. Is y at most -2/3?
False
Let h = -136 - -143. Let b = 38 - 21. Suppose 0 = -4*m - b - h. Which is smaller: -4 or m?
m
Let h be (-4)/(4 + -2) + 2. Suppose -3*l + 0 - 15 = 0, h = m - 3*l - 3. Let y = -14 - m. Are y and -1/2 nonequal?
True
Let x be (465/6)/5*4. Let m = 59 - x. Which is bigger: -1 or m?
-1
Let d be 1/(-105)*(218 - 231). Which is smaller: 1 or d?
d
Let a be ((-3)/(-36))/(((-2805)/20)/(-11)). Which is greater: 1 or a?
1
Let h = 855137/220 + -3887. Which is smaller: -1 or h?
-1
Let b = -0.087 - -0.127. Is b >= -81?
True
Suppose -3*z = -z - 58. Suppose 0 = 4*o + 3*n + 30 + 19, 4*n - 84 = 4*o. Let b = z + o. Is 11 less than or equal to b?
True
Suppose 3*r + 159 = 3*y, -y + 44 = 2*r - 0. Let o be 1/4 - y/40. Let j be -3 + (o - 74/(-20)). Is 0 at least j?
True
Let b(k) = -k**3 + 4*k**2 - 3*k. Let m be b(3). Suppose -2*o - 4*x = -14, 0 = -o - 4*o - 4*x + 41. Let y = 11 - o. Which is greater: m or y?
y
Let h = -432.1 - -432. Let r = -11.16 - -0.16. Are h and r nonequal?
True
Let r = 344.66 - 345. Is r equal to 1?
False
Suppose 113 = 10*c - 357. Which is greater: 46 or c?
c
Let g be 4/(-24)*2*5616/168. Is g at least as big as -11?
False
Let f = -6 + 9. Let p be f/(-5) + 1 + 9/(-10). Is -3 bigger than p?
False
Let f = 0.116 - 84.116. Let t = f - -83.966. Is t at most as big as -1?
False
Let k = 7.4 + -64.4. Let i = 55 + -16. Let t = i + k. Is t less than 0.1?
True
Let i be (194/(-200))/((-6)/24). Which is smaller: 3 or i?
3
Let r be (96 + -1)*39/(-65). Let j = 444 + -207. Let z be -4 + -1*j/r. Is z at most -1?
False
Let q = -2 - 6. Is q smaller than -2/9?
True
Let p(h) = 6*h - 14. Let s be p(3). Let j(r) = 3*r - 17. Let x be j(s). Is x at most -5?
True
Let q be 12/321*37/74. Let c = -854/57 + 42916/285. Let a = -136 + c. Is q at most as big as a?
False
Let k = 2542/11 - 232. Let g = 11 - 15. Let y be -4 + 1 - (g - -1). Which is smaller: y or k?
k
Suppose 0 = -5*x - 4*v - 0 + 3, -2*x - 10 = -4*v. Suppose 3*h - 64 = -2*h + 2*q, q + 53 = 4*h. Let a be (h/90)/(-7)*2. Are a and x nonequal?
True
Let l be 8/(-28) + (-1156)/(-28). Let i be (-1)/(8/(-532))*(-20)/(-35). Is l less than i?
False
Let m be (6/45)/((-60)/(-825)). Are m and 0.5 nonequal?
True
Let q be (172/(-6))/(42/(-126)). Is 86 greater than q?
False
Let j be (3/318)/(1/4). Let a = 19 - 23. Let v be 1*(-1)/a*-4. Which is bigger: v or j?
j
Let m(a) = a**3 + 7*a**2 + 15*a - 3. Let s be m(-7). Are s and -107 unequal?
True
Let b(h) be the first derivative of h**4/4 + h**3 - 2*h**2 + h - 26. Let n be b(-3). Which is smaller: n or 15?
n
Suppose -h - 4*f = 9, -3 - 7 = 4*h + 3*f. Let l = -2 + h. Suppose 19*n + 9 = -48. Is l > n?
False
Let s = -191 - -190.89. Which is bigger: s or -0.1?
-0.1
Let l = -175906.77 - -174324. Let k = 1574 + l. Let i = k + -0.23. Do -1 and i have different values?
True
Let i = -4203 + 4220. Let g = -37 + 54. Is i at least g?
True
Let g(a) = -a**3 + 9*a**2 + a - 10. Let q be g(9). Are q and 1/503 non-equal?
True
Let q be (-28)/98 - (-200)/14. Let a = -22 + q. Let z be -1 + 2 - a/(-6). Is 3/2 not equal to z?
True
Suppose f + 3 = 5. Let y be (13/39)/(11/18). Which is bigger: y or f?
f
Suppose -2*y = -2*t - 8, 6*t - 3 = 8*t - y. Do 4 and t have different values?
True
Let a be (2 - -7)/((-15)/(-80)). Suppose 0 = -5*c + c + a. Is 0.1 bigger than c?
False
Let g be 63336/(-234)*3/2. Do g and -404 have the same value?
False
Let k = 73.5 - 77. Which is smaller: k or -1/5?
k
Suppose 0 = n + n - 462. Suppose 6*f + n = 3*f. Let k be ((-4)/6)/(f/(-33)). Which is smaller: 1.1 or k?
k
Let s be 9/(-3) + 5 + 6. Suppose -11*i = s*i + 19. Suppose 4*t = -0*t - 4. Is t smaller than i?
False
Let g = 39.34 - 39. Let h = g - -14.66. Let v = h + -15.1. Is v greater than 1?
False
Let d = -22910 + 22911. Let g = -12 + 27. Is d bigger than g?
False
Suppose -140 = -2*q + 2*r, 0 = 5*q + r + 53 - 409. Suppose -16 + q = -5*z. Let p(c) = c**3 + 10*c**2 - 11*c + 4. Let y be p(z). Are 3 and y unequal?
True
Let f be 2/(-26)*(7 - 5). Suppose -3*w - 9 = -60. Suppose 0 = -w*o + 14*o + 3. Is o greater than f?
True
Let j = -18770/69 - -272. Which is smaller: -12 or j?
-12
Suppose 4*g - 3*o = -12 - 11, -g = 3*o + 17. Let r(h) be the second derivative of -h**3/6 - 13*h**2/2 + h. Let z be r(-6). Which is bigger: z or g?
z
Suppose 2*y + y = -15. Suppose d = 2, -7*o - d = -11*o - 14. Which is smaller: y or o?
y
Let w be (0 - 6)/(-6) - -69. Are 71 and w unequal?
True
Let b(k) = k**3 - 5*k**2 + 3*k. Let o be b(1). Which is smaller: 8/21 or o?
o
Let w = -21 + -37. Let p = 288/5 + w. Are p and 0 nonequal?
True
Let i = 24 - 23.894. Let v = i + -0.006. Which is greater: -1.9 or v?
v
Let o(t) = 5*t**2 + t - 13. Let f(v) = 4*v**2 + 2*v - 12. Let j(d) = 4*f(d) - 3*o(d). Let s be j(-7). Let a be s/(-10) - (-1)/(-2). Which is smaller: 2/9 or a?
a
Suppose 2*p + 10 - 172 = 5*r, 2*p = 2*r + 168. Let i = p + -87. Which is bigger: -3/10 or i?
-3/10
Let j be (-1)/((-10)/105)*-30. Is j at least as big as -314?
False
Let n be 1/(-6) - (0 - 55/6). Let w(g) = -g**2. Let d(u) = 2*u**2 + 10*u - 7. Let p(o) = -d(o) - 3*w(o). Let s be p(n). Which is greater: s or 0.5?
0.5
Let q be (-412)/1442 - ((-508)/(-721) - 1). Let o be 2*(0 + (-1)/2). Do q and o have the same value?
False
Let z = -4 - 23. Let n be 2862/(-108) + -1 + 0. Is n equal to z?
False
Let g be (-3)/(-2) + 511/14 + -7. Suppose 2*m - 93 = -m. Is g at least as big as m?
True
Let v = 18/59 + -21/649. Let z = 35.4 + -39. Let k = -3.5 - z. Which is bigger: k or v?
v
Let r(m) = -15*m**2 + 35*m + 127. Let y be r(-4). Which is smaller: y or -254?
-254
Let t be (-46)/(-62*(-40)/75). Let r = -3555209/2232 - t. Let j = r + 1593. Is 2 != j?
True
Let j be -5*((-6)/5 + 0). Suppose 5*y = 4*y + j. Let w be ((-4)/(-38))/(