1 and o have the same value?
False
Let g(v) = v**2 + 23*v - 6. Let b be g(-25). Suppose b - 25 = 19*p. Which is bigger: p or -23?
p
Suppose -20*i + 4*m = -80, 5*i - 13 = -5*m - 23. Which is smaller: i or 983?
i
Let u be (-18)/288*-16*(-2)/8. Suppose -3*v = 5*r - v + 2, -r + 2 = v. Let l be (2 + r - 31) + 1. Is l equal to u?
False
Let g = -21 - -9. Let y = -44 + 61. Suppose 0 = -2*w - l - y, 4*w - l = 8*w + 39. Is w equal to g?
False
Suppose 3*r = q + 48, -5*r + 5*q = -0*q - 80. Let h = 34 - r. Suppose 30 = h*b - 12*b. Does 6 = b?
False
Let k = 32.9 + 154.1. Let u = -142.7 + k. Let l = u - 41. Are l and 1/2 nonequal?
True
Suppose 0 = -9*p + 1 + 17. Suppose 2*f + 10 = p*z, 4*f + 2*z + 42 + 2 = 0. Let s = f - -9. Do s and 13 have the same value?
False
Let t = 8947 + -9021. Which is smaller: t or 0?
t
Let c = 9971 - 4564. Is c greater than or equal to 1?
True
Let k(h) = -6*h - 37. Let g(o) = -5*o - 35. Let b(y) = -5*g(y) + 4*k(y). Let q be b(-27). Suppose q = c - 13 - 1. Which is smaller: c or 2/7?
2/7
Suppose -2*g = -12*t + 14*t + 5756, -5*t + 3*g - 14374 = 0. Let m = 80539/28 + t. Are 1 and m nonequal?
True
Let s be (-2132)/30*((-48)/(-8) - -19). Which is smaller: s or -1776?
s
Let j be -3*(3 - -2)*(-9110)/(-15). Let u = j - -5229137/574. Which is smaller: 1 or u?
u
Suppose -2*k + 60 = -3*b, -40 = -k + 18*b - 19*b. Suppose -103*z = -106*z - k. Are -26 and z non-equal?
True
Let k be 0 + ((-40)/(-50) - (-2)/10). Let g be (k + 2)/(-15) + (-3)/(-15). Which is smaller: g or -357?
-357
Suppose 3*s + s = -94944. Let n be (-54968)/s + (-2)/(-6). Let l = n + -62/23. Does l = 0?
False
Let k = -3.40414 - -0.17414. Which is smaller: -2 or k?
k
Let i(g) = 3*g**2 - 186*g - 617. Let d be i(65). Let t be (-1427)/44 - 4/(-22). Is t at most d?
True
Let r = -12120 - -11202. Which is smaller: r or 0?
r
Let w be (-13 - 938/(-70)) + 7/(-5) + 1. Is 6/1099 >= w?
True
Let i be ((-4515)/90)/43 - (-125896)/(-48). Is i less than -2628?
False
Let z = 4541/322 - 195/14. Let h be ((-1)/(-2))/((-27)/(-36)). Is h smaller than z?
False
Suppose -24*j + 476 = -17*j. Let g be (-44)/j*(1 - 0). Let t = 239/51 - g. Is t > 6?
False
Let u be 2080/(-195)*(450/4)/3. Let x = 401 + u. Is x less than 2/969?
False
Let t = -38.6 + -423.4. Let l = t + 334. Do l and -2/5 have different values?
True
Let g = 1 - -7. Suppose 0 = -g*n - 177 - 119. Let z = 46 + n. Is z less than 8?
False
Let p be ((-270)/(-36))/(2 - (-96)/(-42)). Which is smaller: p or -27?
-27
Let s = -24 + 24.94. Let t = 1.0614 + 0.1786. Let b = t - s. Which is bigger: -0.2 or b?
b
Let z(l) = -3*l + 15. Let o(n) = -1. Let c(i) = 4*o(i) - z(i). Let g = 155 - 148. Let j be c(g). Is j > 1.5?
True
Suppose -63*j - 10868 = -76*j. Suppose -4*d - l + 662 = 0, 3*l + j = 5*d - 0*l. Is d bigger than 167?
False
Let s be -7 - (9 + 80/(-8)). Let d be (-2*(-2)/(-24))/(3/s). Which is smaller: -2.1 or d?
-2.1
Suppose 68*a - 97*a - 653 = 43. Let d be (-356)/6 + (-4)/6. Let i = 35 + d. Is a != i?
True
Let u(b) = 47*b - 69. Let a be u(2). Suppose o - 10 = -4*d + 8, 3*d - 5 = -5*o. Is a != o?
True
Let p = -27 - -26. Let m = -0.4 - 3. Let c = m - -2.3. Which is greater: c or p?
p
Suppose p + 3*a + 140 = 0, 2*a - 73 = 2*p + 175. Which is bigger: p or -1142/9?
-1142/9
Let t be (-2)/(-1)*51/6. Let h(p) = -2*p**3 - 2*p**2 + 11*p + 19. Let k be h(-2). Suppose 5*z - 54 = -3*c + 2*z, -3*z = k*c - 94. Are t and c non-equal?
True
Suppose -3*u - m - 6 = -16, 3*m + 35 = 4*u. Let k(r) = -27 + 36 - r - u*r + 16. Let n be k(6). Are -10 and n unequal?
True
Let s be ((-68)/80)/(1 + 33/(-8)). Which is smaller: 1 or s?
s
Let w be (6/5)/((-8)/(-20)). Suppose w*z - 5 = -8. Let j = 102 + -2243/22. Which is greater: j or z?
j
Let q = -139 + 174. Let f = q - -7. Which is smaller: -1/2 or f?
-1/2
Let z = -124 - -121. Let c be ((-7)/z - 3)*186/4. Is c smaller than -29?
True
Suppose 314 + 1510 = 57*g. Is -91 at least as big as g?
False
Let j(o) = 11*o - o**3 - 16*o**2 - 12*o + 17*o - 16. Let z be j(-17). Let b(c) = c**2 - 10*c + 1. Let t be b(10). Is t <= z?
True
Let i be (0 - 2 - 0)*1. Let s(z) = 2*z**2 + 37. Let v be s(-6). Let l = v + -1961/18. Which is bigger: i or l?
l
Let y = 20.3 - -216.7. Let v = -236.559 + y. Let i = v + 0.009. Is 0.1 greater than i?
False
Suppose 2*f = -15*n + 16*n - 19, 3*f = 5*n - 67. Is n <= -0.005?
False
Suppose 43*l - 4076 = 1901. Which is bigger: 2 or l?
l
Let m = 2865 + -2889. Is -51 <= m?
True
Suppose 5*u = 5*w - 155, -2*u - u = 5*w - 115. Let f be w/(-22) - (-158)/869. Which is smaller: f or 1/48?
f
Let v = -733 + 739. Let o(h) = -h**3 + 5*h**2 - 5*h + 20. Let m be o(v). Suppose 2*l = -14 - 78. Does l = m?
True
Let d be (-88)/6*30/(-4). Let g = 309 + -198. Is d at most as big as g?
True
Suppose 5*r + 1 = 6. Suppose -3*g + r + 2 = 0. Let s be (-60)/(-138)*13*7/91. Is g greater than or equal to s?
True
Let m(g) = 2*g**3 - 18*g**2 - 18*g - 16. Let c be m(9). Do -169 and c have the same value?
False
Let y = -26744 + 26760. Which is smaller: -736 or y?
-736
Suppose -10*a + 16 = 3*k - 12*a, 16 = -2*k - 4*a. Suppose -4*f + 4*l = -16, -4*f + 3*l + 13 - k = 0. Are -7/5 and f unequal?
True
Let y = 61.86 - 62. Let f = -0.37 - y. Let n = -2/17 - -40/51. Is n not equal to f?
True
Suppose -3*p + 7 = -95. Suppose 13*s + 62 = 257. Is p <= s?
False
Let y = 6.2676 - 6.3. Let i = 5.7324 + y. Is 0 less than i?
True
Let t be (-2)/(-2) - 1/15. Let i = -176/195 + t. Suppose 0 = -5*r + 6*r - w - 6, 0 = 5*w + 25. Is i > r?
False
Let s(m) = m**3 + m**2. Let u(f) = 25*f**3 - 5*f**2 + 1. Let b(h) = 4*s(h) + u(h). Let a be b(1). Which is smaller: a or 28?
28
Let w = 435719/978614 - 81/182. Which is greater: 0 or w?
w
Let y be (30/8)/(2/16). Let l = -65092 + 65121. Is l not equal to y?
True
Suppose -2*v + v + 4*v = -6*v. Do v and -3/3421 have different values?
True
Let b = 354981210/67 + -5298609. Let u = b - -382. Which is greater: -2/7 or u?
u
Let l(m) = -12*m - 16. Let o be l(-11). Suppose 4*a - 5*f - 21 = 0, -16 = a + 4*f + 5. Which is bigger: o or a?
o
Let k = -0.00116 + -0.09884. Which is smaller: 47/7 or k?
k
Let l be 6/4 + ((-28)/8 - -4). Let z be (-1 + l)*(-568)/(-16)*-2. Do -70 and z have different values?
True
Let q = 110 - 50. Let p be 5/37*q/(-75). Which is greater: p or 1?
1
Let k = 205 - 203. Let l = -4.7 + 4.48. Let r = -5.22 - l. Are k and r non-equal?
True
Let a = 66 + -158. Let r = -119 - a. Let j be (-4)/(-6) + (-6)/r*-165. Which is bigger: -0.2 or j?
-0.2
Let w = -220 - -463. Let y = -971/4 + w. Which is smaller: y or 15?
y
Suppose m = 2*n - 2195, -7*m = -3*n - 8*m + 3280. Suppose -17*l + 1078 = n. Let u be ((-21)/(-6))/(-3 - -1). Is l not equal to u?
True
Let t be -18 - -4 - (4 + 210). Is t greater than or equal to -0.1?
False
Let x = -7339.01215 + 7339. Which is smaller: 0.3 or x?
x
Let s = 7249 + -7251. Which is smaller: -12/5 or s?
-12/5
Let k be (8 + -44)*1/(-2). Suppose -z = -q + 1 - 13, 2*q + z + k = 0. Which is greater: -29/3 or q?
-29/3
Let i(u) = -3*u**3 - 2*u**2 - u + 1. Let n be i(-1). Suppose -5 = -n*h - 2*h, -2*h = -3*v - 191. Let p = v + 62. Which is bigger: -2/123 or p?
-2/123
Let m be 1139/(-268)*(-48)/(-1). Which is bigger: m or -200?
-200
Let v be (-16)/12 - (792/135 + -6)*10. Is 2/21123 at least as big as v?
True
Let g(c) = 5*c - 1. Let o be g(-3). Let k be (-3 + 183/60)*((-180)/8)/(-9). Is o not equal to k?
True
Let m = 1050.11 + -1114.5. Let p = -64.91 + 0.91. Let j = p - m. Which is smaller: 0.1 or j?
0.1
Let s = -23444 + 23444. Which is greater: s or 78.2?
78.2
Let n be (((-10)/(-16))/((-170)/204))/(9/12426). Which is bigger: n or -1035?
-1035
Suppose -7*u + 1025 + 6545 = -1880. Is 1352 smaller than u?
False
Let x = 1.03 + -0.03. Let t be 2/7 - 4/14*-13. Let w(k) = -k**2 + 4*k - 11. Let g be w(t). Which is greater: g or x?
x
Let q be 23/54 - 5/10. Let l be (-7 - (4 + -6))*(-4)/10. Let r be (16/32)/(0 - (-1 + l)). Which is greater: q or r?
q
Let m(g) = -31*g + 119. Let h be m(4). Let x(w) = 2*w + 9. Let n be x(h). Which is bigger: n or -3/59?
-3/59
Let l = 48498/469 + 78/67. Which is bigger: 106 or l?
106
Let p be 1 - 18*1/(-4)*-122. Let s = 3838/7 + p. Does -0.4 = s?
False
Let m be 3045/(-198) + ((-1330)/84)/(-19). Is 1/13 not equal to m?
True
Let t = -1178 - -1203. Is -1/13 <= t?
True
Let g = -11497 + 11496. Which is small