18
Let g = -7.62 + 7.02. Do -25 and g have different values?
True
Let x = -1/561 - 6031/78540. Is x equal to 1?
False
Let g = 0.1 + 0. Let b = 1.75 + -6.55. Is g at most as big as b?
False
Suppose 5*s = -5*h, -4*s - 18 = -5*h + 9. Suppose 0 = 4*z + 16 + 28. Let v be (-2 + h)/(z/(-4)). Is v equal to 0?
False
Let s(q) = -3*q**2 - q - 128. Let z be s(14). Which is greater: z or -731?
z
Suppose 7*m + 24 = -m. Let c be (m - 0) + (3/(-1))/(-3). Is 2/21 >= c?
True
Let h = -49 - -75. Let l = -28 + h. Does -11/6 = l?
False
Let o(j) = -j**2 + 10*j - 7. Let z be o(8). Suppose -q = 2*q - z, -12 = 2*m - 4*q. Let h be m + -2 + 6 + 5. Is 8 at most as big as h?
True
Let f = 505 + -476. Which is smaller: 1 or f?
1
Let o be (3/(-9))/(2/(-3)). Let m = -26.7 + 26. Let y = 2.7 + m. Is o < y?
True
Let u(a) = a**3 + 4*a**2 - 5*a - 12. Let g be u(-5). Which is smaller: g or -21?
-21
Let j be 2 - (1/9 + 832/288). Which is smaller: -3/92 or j?
j
Let v(w) = 3*w + 10. Suppose 4*d = q - 8, 2*d = -2*d - 8. Let n be v(q). Which is smaller: n or 126/11?
n
Let b = -32.1 + 31. Let a = b + 4.1. Is -6 < a?
True
Let y be 2*32/85 + 6/(-15). Is 1 != y?
True
Suppose 11*h - 495 = 2134. Which is smaller: 241 or h?
h
Let h = 71/36 + -34931/17748. Which is bigger: 1 or h?
1
Let v = 21513/1463 + -103/7. Which is smaller: v or -1?
-1
Let f = -21.89 + 26.89. Is 0.171 bigger than f?
False
Let q = 0.157 + -0.257. Is -4.08 <= q?
True
Let g = 97 - 166. Is -1 > g?
True
Let d(h) = -2*h - 12. Let s be d(-5). Let p = -22 - -23.9. Let z = 2 - p. Are s and z equal?
False
Let k be ((-539)/(-35))/((-18)/(-10)). Let h = -3712386997/432205326 + -39/813946. Let f = k + h. Which is greater: -1 or f?
f
Let t = 0.08 - 0.18. Let w be 51/(-714)*(-4)/(-3). Which is bigger: w or t?
w
Suppose -34 = -3*p + c, -3*c = p - 2*c - 6. Let a be 4/p*(-10)/(-16). Which is smaller: -9 or a?
-9
Let o = 1 + -1.2. Let n = -1.01 + -50.69. Let s = n - -52. Does s = o?
False
Let o(u) be the third derivative of u**4/24 + u**3/6 - 2*u**2. Let i be o(-1). Let g = -47/6 - -541/66. Is i greater than or equal to g?
False
Let i = 871.8 - 875. Is i bigger than -0.4?
False
Let z(f) = f**3 - 18*f**2 - f + 25. Let h be z(18). Is 7 bigger than h?
False
Let v(u) = u - 1. Let y be v(0). Let f = 2799/530 + -53/10. Which is greater: f or y?
f
Suppose -3*s + 124 = -4*d, -d - 31 = 5*s + 23. Which is greater: d or -41?
d
Suppose -17 - 3 = -4*y. Suppose -y*g + l = 6*l + 30, -2*g + 5*l = -23. Is -2/7 at most g?
False
Let h = 142 + -141. Let q = -2 - 2. Is h bigger than q?
True
Suppose -d + 5*c = d + 17, 0 = d - 3*c + 10. Let s be (-9 - -6)*d/(-3). Which is smaller: -3 or s?
-3
Let p(n) = -n**3 - n**2 - 6*n - 1. Let w be p(0). Which is greater: 1/508 or w?
1/508
Let h be -2*(39/13 + 20/(-7)). Which is bigger: h or 1?
1
Let b = 13.9 + -108.9. Let h = b + 94. Is 3.3 at least as big as h?
True
Let q(n) = n**2 + 15*n - 22. Let t be q(-18). Let l be ((28/t)/(-7))/((-2)/(-4)). Which is bigger: -51 or l?
l
Let o be 339/35 + -6 + 8. Let p = 44/7 - o. Let n = -3.1 - -3. Which is greater: p or n?
n
Let t(z) = z + 4. Let r be t(-4). Suppose -3*h - 78 = -r*h. Is h at least -26?
True
Let s be (423/105 + 12/(-3))/1. Let p = 13/5 - 106/35. Let q = s + p. Which is bigger: q or 0?
0
Suppose -19*b + 10 - 105 = 0. Suppose -2*w = -4*w + 16. Suppose 1 + w = -3*m. Which is bigger: b or m?
m
Let g = -16159 - -145681/9. Which is smaller: g or 27?
27
Let h = -21 - -57. Let m = 40 - h. Is 0.04 greater than or equal to m?
False
Suppose 0*a + 4*a - 23 = 3*d, -29 = 3*d + 2*a. Let y(k) = -k. Let v be y(-4). Suppose f = 5*f - v. Is f > d?
True
Let n be (-127)/5 + 4/10. Let c(x) = x**2 + 88*x - 23. Let q be c(0). Is n > q?
False
Let d be (93/310)/((-2)/5)*-1. Let l = -3.1 + 3. Is d equal to l?
False
Let b = 34 + -34.56. Let x = 0.4 + b. Which is smaller: x or 1?
x
Suppose d - 2 = -3. Let f be ((-3)/1)/(d/3). Let a be -2 + -1 + 24/f. Is -2/5 >= a?
False
Let a = 31/60 - 11/12. Is a not equal to -0.7?
True
Let j = 70046 + -348778/5. Which is bigger: 290 or j?
j
Suppose 3*n - 34 = -19. Suppose -36 = -3*c - n*p, 4*c - p = -3*p + 34. Which is bigger: -0.1 or c?
c
Let d = -32/17 - -145/68. Is d at least 94.8?
False
Let v = 105086/33 - 3184. Is v at most as big as 1?
True
Suppose -2497 = -703*o + 714*o. Is -225 at least o?
True
Suppose 5*y - 26 = -4*g, 3*g - 3*y - 8 = -y. Suppose -6*o + o - 5*j = -25, -g*j + 20 = 3*o. Let l be o/(5/((-20)/8)). Which is bigger: -1/8 or l?
l
Let d = 0 + 0.31. Let v = d - 0.01. Which is bigger: 2 or v?
2
Suppose -71 - 133 = -3*c + 2*h, -3*c = 5*h - 204. Is c less than or equal to 481/7?
True
Let s = 7848 + -5454366/695. Is 0 smaller than s?
False
Let n(y) = -y**2 + 7*y - 1. Let q be n(4). Let o(s) = 26*s - 20 - q*s - 16*s. Let h be o(-15). Which is smaller: h or -4?
h
Let i = -21 - -31. Let u = i + -2. Let j be (-294)/72 + u/2. Which is greater: j or 1?
1
Let j = -222 - -1636. Let g = -9944/7 + j. Is g smaller than -6?
True
Let n(a) = a**2 + 6*a + 9. Let b be n(-4). Let t be (-3 + b)/(1/(-3)). Suppose -2*s = -8 + t. Do 0 and s have the same value?
False
Let g be -5 + (645249/(-90))/11. Let f = g - -657. Are -1 and f unequal?
True
Let q = 174 - 119. Let h be 1*25*-1*1. Let b = q + h. Which is smaller: 29 or b?
29
Suppose n - 6*n - 5 = 0. Let f be -1 - ((-8643)/33 - n). Let p = f + -261. Which is smaller: -1 or p?
p
Let z = 285 + -286. Let q = -371/760 - -9/40. Which is greater: z or q?
q
Let i be 2/(-5)*4/(-16)*-212. Is i greater than -22?
True
Let f be ((-6)/45)/((-64)/2784). Which is bigger: 0.1 or f?
f
Let l(r) = 98*r - 132. Let v be l(5). Which is smaller: 359 or v?
v
Let f = -27 - -17. Let g be (69 - 1) + (-15 - -13). Let n be (-44)/g + (-62)/6. Is n bigger than f?
False
Let k = -284/117 + 4558/4095. Which is smaller: -1 or k?
k
Let f = -18 - -19. Suppose f = 2*h + 3. Is 1/15 at most as big as h?
False
Let t(d) = -d**3 - 12*d**2 - 32*d - 1. Let c be t(-4). Which is smaller: c or 3/212?
c
Suppose -2*g - 202 = -4*y, 4*y + 414 - 151 = -3*g. Is g <= -93?
True
Let d(p) = -4*p - 71. Let f be d(-19). Suppose 4 = -3*h - f. Is -23/7 less than h?
True
Suppose t - 5 = -4*x, -2*t - 5 = -3*t - x. Suppose 3 = 3*o + m + 2, -5*o = t*m + 15. Is 16/9 less than o?
True
Let y be (3 - (-74)/(-26))*(-54)/(-1548). Is 0 greater than or equal to y?
False
Let s = 915 - 1757. Let r = s + 95145/113. Which is bigger: r or -1?
r
Suppose -8 = -2*v + 2*u, 3*u + 0 - 30 = -4*v. Suppose -c + 21 = 5*l, -v*l + 5 = -3*c - 4*l. Which is smaller: c or 2?
c
Suppose -4*t + 183 = -7*r + 10*r, 0 = r + 3*t - 66. Let x be (1 - -1)*(-1 - -29). Is r greater than x?
True
Let z(x) be the first derivative of -13*x**2 - x - 29. Let t be z(-1). Is -1 <= t?
True
Let n = -32.99 - -84. Let u = n - 51. Are 2/21 and u non-equal?
True
Let w be 296/(-56) + 4/14. Let z = w + 2. Let n be (6/51)/(1/z). Is 0 greater than n?
True
Suppose 5*s = -5*n + 6*n, -s + n = 0. Is s greater than 3/11?
False
Let v = -278 - -311. Which is bigger: 32 or v?
v
Suppose -128 = -4*x + 236. Suppose -x + 20 = -h. Which is smaller: 72 or h?
h
Let p = 485 - 4843/10. Which is greater: p or 1?
1
Let n = 7369 - 103171/14. Let d = -1 - -2. Is d < n?
False
Suppose 3*q + 8*q = -88. Is q < -2?
True
Suppose 0 = h - 3*h. Suppose h = 4*r - 8*r - 12. Let x = 1061 - 1061. Which is bigger: x or r?
x
Let d be (-2)/4*-194*4. Let v = d - 9698/25. Is 2 at least v?
True
Let y = -196 + 132. Let q = 34 + y. Let x be 2 - q*(-12)/189. Is x less than or equal to 1?
True
Let x = 5.9 + -4.9. Are 0.8 and x equal?
False
Let u be (0 + (1 - 4))/(4 - 5). Let h be (-12)/8*1 + u. Let p = 176 - 1230/7. Is p >= h?
False
Let l(z) = -z**2 - 5*z - 6. Let d be (-3)/(-1 - 12/(-8)). Let q be l(d). Let x be ((-8)/q)/(8/(-12)). Is -8 bigger than x?
False
Let m = 13 - 8. Suppose -m*v = -v - 28. Suppose -42 = -4*j - 4*p + 9*p, 0 = 4*j + p - 30. Which is smaller: v or j?
v
Suppose -2*v + 4*v - 10 = 3*z, 2*z + 4*v - 20 = 0. Let b be 147/(-35) + -11 + 14. Are z and b unequal?
True
Let i(q) = -q**3 + 4*q**2 + 4*q - 8. Let b be i(4). Let s be (-8)/b + 74/70. Is 1 greater than s?
True
Let i be (2*-6)/(-4)*(-14)/(-6). Is i not equal to 58/7?
True
Let i be (2/3)/(34/4335). Let t = 137 - i. Which is greater: t or 51?
t
Let c = 86 - 86. Which is smaller: 132 or c?
c
Let r(a) be the third d