c - 3*x, 0 = -q*c + 2*c + 2*x + 1. Is -1/43 at most c?
True
Let l = -1 - -1. Let b be 276/36 - (l + 1*-3). Which is smaller: b or 12?
b
Let s(a) be the third derivative of 5*a**4/24 - 10*a**3/3 + a**2. Let t be s(8). Suppose b - t = -4*b. Is 4 equal to b?
True
Let v = -54.7 + 54.5. Is v > -16?
True
Let h = 57 + -56.4. Let p(t) = -14*t**2 + 2*t - 1. Let q be p(1). Let x = 89/7 + q. Is x less than or equal to h?
True
Suppose 26*j - 23*j - 3 = 0. Which is bigger: 103 or j?
103
Suppose 4*v + 40 = a - 66, 3 = -3*v. Is a < 102?
False
Suppose -17*x + 835 = -151. Which is greater: x or 57?
x
Let l(b) = b - 13. Suppose -w + 5 = 3. Suppose -33 = -y - 5*g, -w*y = -y + g - 17. Let s be l(y). Which is smaller: 1 or s?
s
Suppose 69*g - 64*g = 0. Let h(o) = o**3 - 7*o**2 - 8*o - 4. Let l be (0 - -12)*10/15. Let c be h(l). Which is bigger: g or c?
g
Suppose -3*w - 4*l + 12 = 0, l + 2*l - 9 = -w. Is -3/76 greater than or equal to w?
False
Suppose -1 = w + 2*r + 1, 0 = r + 1. Which is greater: -2/321 or w?
w
Let o = -12 + 62/5. Let m = 31 - 29. Suppose m*d = 8*d. Is d less than o?
True
Let v = 4132/7 - 2326274/3941. Which is bigger: v or 0?
v
Suppose -4*i - 3*u = -9, 4*i - 5*u - 7 = 10. Which is smaller: 195 or i?
i
Suppose 3*f + 70 = 3*l - 5*l, -92 = 3*l - 2*f. Let k be l/28*1/(-4). Is k greater than -0.43?
True
Suppose z - 4 = -3*g, -7 = -3*g + 3*z + 5. Suppose -6*y + g = -4. Are -2/41 and y unequal?
True
Suppose 13*y + 74 = 3*r + 8*y, 0 = -3*r - 2*y + 46. Is r less than 15?
False
Let g(l) = -l**2 - 8*l + 2. Let m be g(-7). Suppose -m = -o + 4*o. Let x be o/(-6) + 9/(-10). Which is bigger: x or -1/3?
-1/3
Let w = -1086 - -2081/2. Let y = w + 1187/26. Let j = -0.2 + 0.4. Is y != j?
True
Suppose -5*i = 0, 5*l - i + 115 = -2*i. Let f = -18 - l. Suppose 0 = -f*q + 16 + 14. Is 5 greater than q?
False
Let u(r) = -r + 5. Let w be u(7). Let q be 1/(3 + 0 + w). Which is bigger: 2 or q?
2
Suppose 2*z = -z + 27. Suppose 6*o = 36*o - 30. Let n be (-16)/o*30/(-60). Is z smaller than n?
False
Let b be (-1)/5 - (-12)/(-15). Let f be 4/(-48) + b/4. Let h = 70.8 + -71. Which is smaller: h or f?
f
Let s be (3 + -4)/(1/(-2)). Suppose -20 = -4*m, -s*f - m + 70 = 3*f. Is 13 >= f?
True
Let s = 40/109 + -3353/10028. Which is bigger: -1 or s?
s
Let x = 70 - 57. Let f be (-9)/(-6) - (-1)/2. Suppose -3*y - 11 = 2*y + f*q, -2*y + x = -5*q. Is -2 less than or equal to y?
True
Let m = 22/3 + -41/6. Suppose -2*l - t + 489 = 0, 3*l - t = 238 + 488. Let o = l - 2189/9. Which is bigger: m or o?
m
Let j = 24 + -23. Let x be 2/j - 3 - (-1)/5. Are x and -1 equal?
False
Let b = 415/2 - 208. Let r = -0.35 - 19.65. Does b = r?
False
Let u be (-2*2/18)/(41/(-369)). Which is smaller: 34/13 or u?
u
Suppose -4*i - 180 = -4*f, -12*i = -5*f - 13*i + 219. Which is smaller: 34 or f?
34
Let v = -21 - -20.5. Let d = 1.8 + v. Does d = 1?
False
Let v = 0.37 - 0.27. Let w = 0.2 - v. Does w = -4/7?
False
Let n = 7206 - 295508/41. Are n and -1 nonequal?
True
Let z = 304 - 278. Does 27 = z?
False
Let w = -3.07 - -3.11. Is 10/7 greater than w?
True
Let r = -258 - -257. Which is greater: r or -4?
r
Let m be (-4)/8*18 + 1. Let o be m/28 - (-2 - (-351)/21). Is -16 < o?
True
Let l(a) = a**2 - 7*a + 5. Let m be l(8). Let r(n) = 2*n + 14. Let i be r(-11). Let p = m + i. Which is smaller: 6 or p?
p
Let k = 803 - 993. Which is greater: k or -1?
-1
Let f = -1.4 + 8.4. Let v = 9 - f. Let u = 9 - 7. Is v > u?
False
Suppose 14 = -6*k + 38. Suppose -k = -t + 2*t. Which is bigger: t or -60/11?
t
Let k be (22/33)/(6/828). Which is bigger: k or 93?
93
Let l(n) = 73*n + 2. Let p be l(2). Suppose 4*z - p = 12. Suppose 3*o - z = -2*c + 10, 2*c - 36 = -2*o. Which is bigger: o or 15?
15
Let o be (1 - 0)/(8/8). Let x be o + -1 - (-7871)/32. Let u = x - 246. Is u greater than 0?
False
Let i be (40 - 1) + (-21 - -25). Is 42 at least as big as i?
False
Let o be (6/(-56))/((55/150)/11). Let w = 979/322 + o. Is -1 != w?
True
Let m = -6856 + 301647/44. Let b = m + -4/11. Which is smaller: b or 4/15?
b
Let f = 1/65 + -199/260. Suppose 2*c = i + 4, 2*c - 6*c + i + 4 = 0. Is f at most c?
True
Let w = -41.4 - -9.8. Let o = 175 - 207. Let p = o - w. Does -1/3 = p?
False
Let o be (1/(-2))/((-2)/(-48)). Suppose 32 = 117*b - 113*b - 3*f, 0 = -2*b + 4*f + 26. Which is smaller: b or o?
o
Let w = -2 - 16. Let r be ((-4)/(-12))/((-2)/12). Let n be ((-1)/r)/((-2)/68). Which is smaller: w or n?
w
Let s = -11.357 + -0.043. Let w = 11 + s. Which is greater: 9 or w?
9
Let l be -1 - -2 - (-12410)/(-10). Let x be l/32 - 10/8. Which is smaller: x or -42?
-42
Let m = -14.138 + 0.038. Let f = 0.1 + m. Which is bigger: 0.2 or f?
0.2
Let d = 69 - 66. Let b be 9/6*(-20)/d. Is b smaller than -11?
False
Let x = -37 + 24.3. Let n = -12.1 + -0.9. Let y = n - x. Which is smaller: y or -1/6?
y
Let i be (-2832)/80 - (-2)/5. Which is smaller: i or -2?
i
Suppose -47*k + 51*k = -4. Let d(t) = t**2 - 2*t - 1. Let x be d(-1). Let a be (-4)/(-8)*k*x. Is a at least -6/7?
False
Suppose 4176 = 4*m + 4*v, -819 = -3*m + 2*v + 2313. Is 1044 <= m?
True
Let x(a) = -a + 6. Suppose 3*f - 54 = -3. Let p be x(f). Which is smaller: p or 0.1?
p
Let p(o) = -245*o - 39 - 244*o + 486*o. Let w be p(-17). Which is bigger: w or 58/5?
w
Let f = 0.39 + -0.49. Which is greater: -505 or f?
f
Suppose 6 = -7*z + 9*z. Let t be 1*4/(4/z). Is t at most as big as 3/2?
False
Suppose -3*x + 72 = x. Let z be 4/x - 4/6. Suppose -3*v = -5*y - 28, -36*v + 5*y = -39*v - 22. Which is smaller: v or z?
z
Let x = 0.7 + -0.4. Let c = 2011/30 + -336/5. Which is greater: c or x?
x
Let u = -1731/20 - -359/4. Suppose 5*b - 16 = n, -5*n + 5*b - 40 = -10*n. Is n at most as big as u?
False
Suppose 1 = 5*o + 4*z, -5*z + 20 = -0. Is o at most 110?
True
Let k(l) be the first derivative of l**4/4 + 3*l**3 - 3*l**2/2 - 4*l - 2. Let s be k(-9). Which is bigger: 24 or s?
24
Let i = -327 + 412. Is 84 less than i?
True
Let n = -77 + 153. Let h = -113 + n. Does -38 = h?
False
Suppose -95 = 4*s + 425. Let u = 1043/8 + s. Let i = 2.1 - 0.1. Which is greater: u or i?
i
Let l = -1047.962 + 1048. Which is bigger: 2/37 or l?
2/37
Let s be 20/(-210) + (-8)/798. Is s less than 0.14?
True
Let h(m) = 2*m - 29. Let w be h(11). Let n be (-18)/(-10)*w/105. Suppose f + 3*y = 0, 2*f = 3*f - 4*y. Which is greater: f or n?
f
Let g(j) = 6*j**2 + 1. Let p be g(-1). Suppose -4*h + 1 = -19. Suppose -q + 3*y = -2 - 1, -h*y + 46 = 4*q. Is q at most as big as p?
False
Suppose -36 = 3*t - 9. Let f be (-12)/((-288)/(-276)) - 6/(-4). Which is smaller: f or t?
f
Let j = 4 + -1. Let x = -339 - -362. Is x equal to j?
False
Let n = 409 - 242. Is 0.1 < n?
True
Let r = -146 + 136. Is r at most as big as -4?
True
Suppose -11*s - 20 = -15*s. Suppose 0 = -0*v + 2*v - 5*t + 19, -s = -5*t. Which is bigger: v or -8?
v
Let j be (-4366)/888*4/1. Which is greater: -20 or j?
j
Let o be -1*2*(-2 - (-5)/2). Is o not equal to -5/53?
True
Suppose 2*u + 2*u = 0. Suppose 13 = -5*b + c, u = b + 2*b + 2*c. Let j be 2*(-2)/(-14)*-2. Which is smaller: b or j?
b
Let l be 58/261 - 16/(-9). Is l less than 2/25?
False
Suppose m + 3*m = -g + 15, 3*m - 9 = 0. Suppose -8 + 4 = -2*w, 5*p + w + g = 0. Let y = -9 + 37/4. Do y and p have different values?
True
Let t(n) = -2*n**3 - 27*n**2 + 16*n + 43. Let s be t(-14). Is s equal to 11?
False
Suppose 0 = -3*x - x + 4. Let b = x + 11. Let z be (14 - b)/(2/4). Are 3 and z nonequal?
True
Let s be 105/28 - (-3)/12. Suppose 4*x + 44 = d, -s*d + 31 + 25 = -4*x. Let r = -9 - x. Does r = 0?
False
Let w(t) = t**3 - 5*t**2 + 6*t - 7. Let n be w(4). Let p be 2/5*5 - n. Is -6/7 equal to p?
False
Let r be -4 + 8/4 + 8. Let m be 4/3 + (-8)/r. Let a = 0.04 + 0.06. Is a at least as big as m?
True
Let k = -274 - -273.44. Which is greater: 1 or k?
1
Suppose 0 = v - 589 + 144. Which is smaller: 443 or v?
443
Let r = -290563/32 + 9080. Let y be 0/(-1*2*1). Let w = 0 - y. Is w less than or equal to r?
False
Let v = -2730 - -21813/8. Are v and -3 equal?
False
Suppose 4*d = -m - 28, 2*d + 33 = 3*m + 5. Which is bigger: d or 2?
2
Suppose 3*c = -5 - 19. Let d = -5 - c. Let i be (1/d)/(28/(-12)). Which is bigger: i or 0?
0
Let o be 1 + 10 + (-78756)/7158. Which is greater: o or 1?
1
Suppose -2*w = 4*u + 7 + 5, -w + 9 = -3*u. Let b be 6/(-3) - (w - 2). Let o = 0.05 + -0.7