 h not equal to 213?
True
Suppose -i - 3*c = -13, 0 = 4*i + i + c - 65. Let u be -14 + i + 1*-3. Is -1 > u?
True
Let c(n) = -n**2 + 7*n + 6. Let h(v) = -1. Let d(s) = c(s) + 4*h(s). Let j be d(8). Let l = 0.05 + -0.15. Is j <= l?
True
Suppose 0 = -4*r + 5*i + 12, 2*r - 6 = -0*r + 4*i. Let x be 2/r - 12/18. Which is smaller: x or 1/10?
x
Let w be -1 + 1 + 8 + -7. Is -2/47 >= w?
False
Suppose -4*r + 5*t - 28 = 0, 0*r + 4*t = 2*r + 20. Let c = 62 - 61.9. Is r at least as big as c?
False
Suppose k + 2 = 5*l + 15, 10 = -5*k. Suppose 4 = -3*i - 2*g + 5, g = -2*i. Is l at most i?
True
Let p(f) = -68*f - 444. Let y be p(0). Which is smaller: -445 or y?
-445
Let p = -1.93 + -0.36. Which is smaller: p or -1?
p
Let q = 3 - 1. Let y(g) = 10*g**2 - 8 + 5*g**3 - g - 4*g**q + 2*g**3 - 6*g**3. Let z be y(-6). Does -9/7 = z?
False
Let w = -126 + 184. Is w greater than -1?
True
Let h be 14/(-4)*(-1 - 1). Suppose -3*n = 2*y + 6 - 64, -4*n + 2*y + 68 = 0. Let d be n/(-6) + (4 - -7). Does d = h?
False
Let n be 12591/(-51) - 9/((-765)/(-10)). Is -247 at least n?
True
Let t = -55.1 + 56.1. Which is smaller: t or 3/518?
3/518
Let w(z) = z**3 - 5*z**2 + 2*z - 7. Let o be w(5). Suppose -4 + 1 = -o*g. Let m be 6 + -3 - (g - -6). Which is smaller: m or -5/2?
m
Suppose 4*f + 47 + 37 = 0. Let s be (-4)/(-6) - 112/f. Is s < 7?
True
Let x(r) = -2*r - 1. Let o be x(-3). Suppose -o*f = -2*f + 21. Let a be ((-2)/14)/(1/f). Is a >= 1?
True
Let g = 115 + -27. Is -2 bigger than g?
False
Let o = -234 + 244. Is o at most 49/5?
False
Let n = 32.8 + -5.8. Let w = n - 16. Let i = 11.3 - w. Which is smaller: i or 0.4?
i
Let s = 633844 + -1862939/3. Let z = 427796/33 - s. Let x = 99 - z. Which is greater: -0.7 or x?
x
Let g = -273 - -273. Is g < 7/102?
True
Suppose 5*b - 1202 = -3*u, 4*u - 327 = 4*b + 1233. Which is bigger: u or -0.1?
u
Let h(t) = t**2 + t - 2. Let k be h(0). Let a be (5/10)/((-3)/4 + 1). Let r be a*2/(2 + -6). Which is smaller: k or r?
k
Suppose -8*w = -12*w + 32. Suppose 0*o = -w*o + 112. Is 14 > o?
False
Suppose -5*b + 34 - 2 = -k, -3*k + 12 = 3*b. Let o be 0 - (2 - 1) - (-27)/b. Is o bigger than 4?
False
Let t = 0 + -0.2. Let r = -48 - -46. Let x be 3/10*(-5)/(-6)*r. Which is smaller: x or t?
x
Let p = 0.267 - 6.267. Is -7.9 >= p?
False
Let u(v) = 240*v**2 - 15*v - 16. Let w be u(-1). Which is smaller: w or 240?
w
Suppose 50*c - 6608 = 22*c. Do 238 and c have the same value?
False
Let q be 5 - 5 - (0 + 5). Let j be -1 + (-1 - -1 - -3). Let r be 6/((1 - j)/1). Which is smaller: r or q?
r
Let r = -0.2 - -0.3. Let f = r - 0.1. Let l = -8140 + 24418/3. Is l < f?
True
Let c be ((-19356)/(-51))/4 + (-6)/(-51). Is c less than 95?
False
Let t = 55/18 - 19/6. Let v = 20 - 19. Which is smaller: t or v?
t
Let o(v) = v**3 + 6*v**2 + 3*v + 1. Let s be o(-2). Suppose -5*t - 12 = 2*z + 3, 0 = 4*z + 5*t + 35. Let j = z + s. Is -2/7 at most as big as j?
True
Suppose 188*i - 185*i = 6. Suppose 4*q + 138 = -i*q. Is 2/5 >= q?
True
Let j = 390 + -423. Is j >= -34?
True
Suppose u - 3*h = -14, -4*u - 3*h - 100 - 31 = 0. Are -29 and u non-equal?
False
Let z be (-5)/5*228/120. Which is smaller: z or -3?
-3
Let p be 3/(45/552)*(-3)/(-12). Let c = -2909/330 - -1/66. Let d = c + p. Which is smaller: 0 or d?
0
Let m be -4*(-1 + 3/6). Suppose 12 = 3*x, 0 = 3*b - 5*b - x. Let s be (5 + b)*(1 - 0). Which is smaller: m or s?
m
Suppose -y = 5*h + 1, 2*h = -y + h - 1. Do y and 2/203 have different values?
True
Let u be ((-2)/(-10))/((-8)/10). Let r = 317 + -317. Is u at least as big as r?
False
Let c be 29/2*20/70. Is c <= 4?
False
Let v = -452 + 466. Let t = -0.7 - 0.3. Is t greater than v?
False
Let y be (-6)/(-6) + (-3)/21*-5. Let g be (8/5)/(8/28). Let u = g - 117/20. Do y and u have the same value?
False
Let l = 0.0585 + 0.007. Is 0 at most l?
True
Suppose 2*i + d = -4*d + 1290, -4*i + 4*d + 2580 = 0. Which is smaller: 1 or i?
1
Let g = 1476/1771 + 6/253. Let u = -2 - -5. Suppose -5 = -0*n + 2*n + 5*a, -3 = 4*n + u*a. Which is greater: n or g?
g
Let r(i) be the second derivative of -i**5/20 + 5*i**4/12 - 2*i**3/3 - i**2 - i. Let o be r(4). Let h = -144/5 - -28. Which is smaller: o or h?
o
Suppose 3*v + 69 = 2*s - 24, -2*v = -6. Which is greater: s or 52?
52
Suppose -3*z + 121 = -5*u - 318, -5*z = 2*u - 742. Let d = -143 + z. Is d smaller than -2?
False
Let w(o) = o**2 + 2 - 3 - 4 + 1. Let a be w(-3). Which is greater: 7 or a?
7
Suppose 0 = 4*o - 2*j + 1468, 5*j - 268 - 90 = o. Which is smaller: o or -1103/3?
o
Let r = -46 + 53. Let s be 9/(-4)*130/(-39). Are s and r unequal?
True
Let p = 99.8 + -97. Let b = p + -2.5. Which is smaller: b or -1/4?
-1/4
Let j(y) = 13*y - 271. Let g be j(16). Are -36 and g nonequal?
True
Let r be (28/(-14))/((-2)/(-557)) + -4. Is r greater than or equal to -561?
True
Suppose -5*t - 1 = -11. Let b be (t/(-8))/((-138)/(-72)). Which is smaller: 0 or b?
b
Let x = -17 + 21. Suppose 0 = -5*o - 2*y + 6, x*o + 4*y + 0*y = 0. Suppose -8 + 10 = o*a. Is 1 > a?
False
Let i = 92.7 - -14.3. Let c = 107.3 - i. Which is greater: c or -0.13?
c
Let o = 20/79 + -1226/6715. Is o at most 0?
False
Let w be (-8)/16*9/((-9)/(-2)). Which is greater: w or -13/27?
-13/27
Let i = -143 + 80. Which is smaller: -62 or i?
i
Let z = 0.9 - 0.6. Let y = 879.4 + -880. Which is smaller: z or y?
y
Suppose -g - 50 = g. Suppose -2*r + 208 = -10*r. Let s = g - r. Are s and -2/15 nonequal?
True
Let z be (-47)/30 + 1 - 7/(-42). Which is smaller: z or 0.5?
z
Let s = -1.8 + 1.57. Let l = 0.23 + s. Let m = 0.04 + 1.96. Which is smaller: l or m?
l
Let l = -2884 - -3048. Which is smaller: 166 or l?
l
Let c be -9*(-4 - (-64)/12). Let d be 262/(-24) - 6/18. Is c at most d?
True
Let s be (-10 - 2)*(-308)/21. Let p = -3062378/19 - -161354. Let n = p - s. Which is smaller: n or 1?
n
Let g = -127 - -1395/11. Let a = 13 + -8. Suppose 2*v - 4*v = 3*l - 6, a*v + 2 = l. Which is smaller: g or v?
g
Let c = -78 + 78. Which is greater: -3/68 or c?
c
Let y = 61.06 + -61. Let a = 0.36 - y. Which is bigger: -7 or a?
a
Suppose 3*q + 4*k - 193 = 0, -q - 3*q + 247 = -5*k. Which is bigger: 58 or q?
q
Let w(b) = 3*b**2 - 13*b + 30. Let i be w(-7). Is i at least as big as 269?
False
Let b be (60/8)/(-5)*-2. Let g be (b/(-3))/(4 - (-83)/(-3)). Which is smaller: 0 or g?
0
Suppose -4 = -2*m + 5*x + 11, 0 = -4*m + 5*x + 25. Suppose 2*d + 6 = -2*z, 4*z = -2*d + 1 - m. Do z and -4/7 have the same value?
False
Let j = -2.3 + 1.4. Let b = -0.9 - j. Let p = -0.158 + 10.158. Is p greater than b?
True
Suppose -5*n + 3*d + 11 = 3, 2*d = n + 4. Let i be 20/119 - n/14. Which is bigger: i or 1/5?
1/5
Let c(h) = 2*h**2 - h. Let o = 2 + -3. Let r be c(o). Let u be 3/r + 6/(-3). Is 0 at least u?
True
Let o be (13421/5751*-3)/1 - -7. Is 1 > o?
True
Suppose -i - 4*y = 268 - 236, y = -8. Let q = 3632/23 - 158. Do i and q have different values?
True
Let w = 97.853 + -1.693. Let p = 96 - w. Is -0.3 bigger than p?
False
Let a = -1/254 + 1531/1778. Suppose -1 - 1 = -2*h. Is a at most as big as h?
True
Let q = 381 + -572. Let t = 2098/11 + q. Is t at least 1?
False
Let w be 4/(-38) + (-4)/(-38). Is 2/367 greater than w?
True
Let h be 135 + (-10 - -9)*2. Does h = 137?
False
Suppose -c - 2638 = -4*x, -7*x + 5*x - c = -1322. Is 660 greater than x?
False
Let o(z) = z**3 - 7*z**2 + 5*z - 9. Let c be o(5). Let v = 34 + c. Which is greater: 1/72 or v?
1/72
Let f = -14.62 - -14.72. Suppose 10 = l + 3. Are f and l unequal?
True
Let m be (-4)/(-6)*15/(-125). Let g be (10 - 7) + 42 - (-2)/1. Let l = -48 + g. Which is smaller: l or m?
l
Let f be (-73)/(-145) - (-12)/(-30). Let q be (27/(-33) - -1)*74/232. Let a = f - q. Which is smaller: a or -1?
-1
Let u = 111 - 35. Let l = 76.21 - u. Which is smaller: 0 or l?
0
Let a(j) = j**3 + 5*j**2 + 5*j + 1. Let i be a(-4). Let k = -21 + 20.875. Let d = k - -0.025. Are i and d non-equal?
True
Let h = 1.7 - 2. Let p = -0.2 - h. Let n = p + 0.9. Do -0.7 and n have the same value?
False
Let k = -2876/3 - -958. Which is smaller: 170 or k?
k
Let l = 14.77 - 13.47. Which is bigger: l or -1?
l
Let y = 44 + -44. Do y and 5/18 have different values?
True
Suppose -5*f - 31 = -6. Let y be (-3)/4 - f/20. Which is smaller: 2/3 or y?
y
Suppose -84 + 20 = -8*m. Suppose -20 = -2*b - 2*w, b - 4 - 8 = -2*w. Are m and b equal?
True
Let a = 2 + 0.