ller than f?
True
Let x = 149 + -150. Let i = -438 + 491. Is x less than i?
True
Suppose 27*a - 76 = -u + 23*a, a - 5 = 0. Let i = -8.8 + 9. Which is greater: i or u?
u
Let k = 10901/12 + -496878505/546972. Do -1 and k have the same value?
False
Suppose 0*s - 4*s = -3*f - 1429, 0 = -3*s - 15. Let i = 483 + f. Which is bigger: i or 16/19?
16/19
Let i be 1 + 1 - (606 + 1). Suppose -8*a + 13*a = 2*f - 3042, 0 = -2*a + 20*f - 1428. Which is smaller: a or i?
i
Let g = 0.081 - 4.061. Let v = g + -0.02. Let j = v - 0. Is 4 != j?
True
Let y = -13 - -18. Let w = -35 - -27. Let h(p) = 2*p**2 + 10*p - 43. Let l be h(w). Is y less than l?
False
Suppose 10 = 2*p + 26. Let g be (-12)/p*(-8)/(-498). Let v be 2/(-5) - -15*4/(-100). Which is bigger: g or v?
g
Let m be 4/(-1)*1 + -1157 + 1256. Which is smaller: 128 or m?
m
Suppose t = -5*d + 24, 4*t = 160*d - 159*d - 9. Is t at most 5/10592?
True
Let c(y) = y**3 - 19*y**2 - 20*y + 23. Let m be c(20). Let r = m + -19. Suppose 2*s = 4*j - 3*j + 5, r*j = -3*s + 13. Which is smaller: j or -1/3?
-1/3
Let j = 416.6 + -395. Let v = j + -21.7. Are -54/7 and v equal?
False
Let k = -641.637 + 641. Let o = k - 28.363. Which is greater: o or 0.5?
0.5
Suppose 4*x - 26 = 2*h, -32*x - 3*h + 33 = -29*x. Let l(w) = 2*w**2 + 9. Let q be l(-4). Is q <= x?
False
Let c = 8174 + -8162. Is c <= 15?
True
Suppose -4*y = -3*y - 4. Suppose -8 = -2*f - y. Let s be 2/((-44)/(-28) + 1). Which is greater: f or s?
f
Let y be (-9)/2 - 72/(-12) - 42165/190. Is -219 bigger than y?
True
Let t be (-3)/2 + (-117)/6. Let w be t/(4 - 26/6). Let a be (21/2)/(w/(-84)). Which is smaller: -12 or a?
a
Let o be -39 - -33 - (5 + -20)*(-3)/(-5). Which is bigger: o or 1/432?
o
Let p(y) = y**3 - 19*y**2 + 29*y - 511. Let v be p(12). Is v less than -1169?
True
Let c = 8254 - 8254. Which is bigger: -3759 or c?
c
Suppose 6*g - 7*g - 1 = 0, 0 = 4*v + 4*g - 5348. Is v <= 6684/5?
False
Suppose -3*n + 2 - 22 = 4*o, -8 = 4*o. Let z = n + -1. Let h be (z/((-5)/(-3)))/1. Is h >= 0.1?
False
Let h = -166874818741 - -26027632354000235/155971. Let u = -2/8209 - h. Suppose 0 = -p - x - 5, -4*p + 10*x = 6*x - 12. Which is smaller: p or u?
p
Let n = 1.3 + -1. Let m = n - 0.8. Let l be 0/((-24)/(-14) + (-16)/(-56)). Is l at most m?
False
Let x(y) = y**3 + 9*y**2 + 8*y - 2. Let b(j) = j + 4. Let c be b(-12). Let q be x(c). Let a = -1.47 + 2.47. Is q greater than a?
False
Let o = 34.04 + -35.04. Which is smaller: o or 0.715?
o
Let l = 41 - -6. Suppose 0 = -2*x + q - l, -x - 79 = 3*x - 5*q. Let m be (-100)/x - 5 - -1. Which is bigger: 0 or m?
0
Let v = 127 + 237. Suppose -i + 8*i = -v. Let u = 125 + -178. Which is greater: u or i?
i
Let s = 1.841 - 1009.841. Let g = 813 + s. Which is bigger: g or 1/5?
1/5
Suppose 0 = -3*p, -5*p = 17*s - 16*s + 8. Let d be (-10 - s)*(-1 - 59/2). Which is smaller: -2/7 or d?
-2/7
Let t be (-6)/((-1)/28*-3). Let q(l) = -l - 27. Let a be q(-31). Suppose a*n = b - 265 + 41, -280 = 5*n + 5*b. Is t at least as big as n?
True
Let d(k) = 1563 - 2*k - 26*k**2 + k**3 - 1590 - 24*k. Let w be d(27). Is -5/16 > w?
False
Let u be (26/10)/(-6 - 217/(-35)). Suppose 56 = -5*w + p - u, -w - 17 = 3*p. Which is smaller: -8 or w?
w
Let a be 42/(-231) + 502/(-22) + -1. Let y be -1 - 3 - (-3 - 64). Suppose 9 = -3*q - y. Is a equal to q?
True
Suppose 0 = 4*t + 193 - 37. Let l = t - -40. Is 2/263 smaller than l?
True
Let b = -6869 + 6851. Which is smaller: b or -169?
-169
Let y = 27509 + -2173259/79. Which is smaller: y or 0?
y
Let n be 2/(-6) + (-6)/9. Let w = -64 - -4. Let c be ((-3)/6 + 1)*w/42. Is n greater than c?
False
Let t = -77.37 - -1.37. Let o = -77.1 - t. Let m = o - -0.52. Is m at least 0.1?
False
Let d be (-6)/(-123) + (-262305)/(-1107). Which is smaller: d or 226?
226
Suppose 0 = 2*a - 5*y - 11, 5*a - 90 + 25 = 5*y. Suppose -a = 3*z + 1047. Is z greater than -354?
False
Let l = -13 - -9. Let v be -1 + 0 + (1 - 3). Let q = v + -1. Is l > q?
False
Let p be 525/(-40) - 3/(-24). Which is smaller: p or -132?
-132
Let g = -1.5159 - -8.5159. Is -4.74 > g?
False
Let a = 548.04889 - 0.04889. Does 12 = a?
False
Let g = 3570 - 3473. Which is smaller: g or 55?
55
Suppose 0*z + 2*z + 8 = 4*g, -2*z + 19 = 5*g. Suppose -5*j - g*k - 236 = 0, 0 = -k + 3. Let r be (4 - 8) + 0 + -46. Are r and j nonequal?
True
Let i = 10062 - 10062. Which is bigger: 7658 or i?
7658
Let g be (1/(-1 - 0))/(13 - 5 - 7). Are 1/35531 and g equal?
False
Let t = 184 - 955. Let a = -28503/37 - t. Which is greater: a or 0?
a
Let w be (2/(-4))/((-3)/(-2214)). Let a be 1/2 + (-10374)/28. Is w != a?
True
Let n = 15 - 37. Let q = -53 - n. Let k = 31.1 + q. Which is smaller: k or 0.18?
k
Let k(s) = s**2 - 18*s + 1. Let w be k(17). Let y = w + 50. Let a be (y/(-3))/((-16)/24). Which is smaller: a or 18?
a
Let m be 8/14*(1 + (-18)/12). Let q = -82 - -82. Are m and q nonequal?
True
Suppose -h + 6*h = c + 299, 3*h - 165 = -3*c. Suppose -a + 2*s = -2*s - 70, -5*s = -2*a + 134. Let y = a - h. Which is smaller: y or -0.3?
-0.3
Let t be ((-43)/((-258)/(-3420)))/(-3*4/(-12)). Is t smaller than -570?
False
Let v(m) = m**2 - 2. Let d be v(2). Suppose -4*p - 382 = -2*x, 5*x - 930 = 5*p - 0*p. Suppose x = 5*q + 71. Are d and q nonequal?
True
Let s = -251 + 371. Let h = 117 - s. Let l(k) = -k**3 - 4*k - 10. Let p be l(h). Is p at most 29?
True
Suppose -2 = -w - 5. Let o be (-18 - 3)*w/9. Let n = 13 + -8. Which is bigger: n or o?
o
Suppose k - 2*n = -4*k + 12, 0 = -4*k - n + 7. Suppose -3 = 3*i - k*l, -l - 5 = i - 3*l. Let f = -598/17 + 35. Which is smaller: f or i?
f
Let z(f) = -f**3 + 13*f**2 + 6*f + 129. Let q be z(13). Which is bigger: 198 or q?
q
Suppose -3*b + 12 = b. Let v be (-3)/(-3 + -1 + b). Let p be (-11475)/700 + 19 + ((-15)/35)/(-3). Which is smaller: p or v?
p
Suppose j = -2, -2*z + 3*j - 66 = 144. Let l = -754/7 - z. Is 132 greater than or equal to l?
True
Suppose 0 = -4*q + 176 + 152. Let t = -37 + q. Which is smaller: t or 46?
t
Let r be (-22980)/(-766) - (-1394)/(-46). Suppose 2 - 4 = 2*s. Is r smaller than s?
False
Let v = -415492 + 415484. Let z(x) = x**3 + 3*x**2 - 3*x - 6. Let p be z(-4). Is p less than v?
True
Let s = 13.0854 - 0.6254. Is -0.3 at most s?
True
Let g = -10 + 12. Suppose 4*y = -g*v - 8, -2*y = -2*v - 6 - 2. Suppose y*b = -3*b + 6. Is 15/8 greater than or equal to b?
False
Let g(j) = -j**2 + 16*j + 34. Let v be g(15). Let f = 45 - v. Let d be (-47)/4 - (45/(-12) - f). Is d >= -9?
False
Let o(r) = 5*r - 60. Let b be o(24). Let i = b - -98. Which is smaller: 157 or i?
157
Let b(y) = -y**2 + 60*y + 158. Let k be b(0). Let t = 221 + -62. Which is greater: t or k?
t
Let l be (6530/932 + -7)/(-5 - 318/(-60)). Is 1 at most as big as l?
False
Let n = -42.98112 + -0.01888. Which is greater: n or -4.5?
-4.5
Let a = 5.56 - 6.7. Let k = -81.3 + 81.3. Is a less than or equal to k?
True
Let s = 0.5956 + 12.4044. Which is smaller: 3/31 or s?
3/31
Suppose 3*m - 9 + 45 = 0. Let d = m + 37. Suppose 3*q - d + 4 = 0. Which is bigger: q or 2?
q
Let b = 5/17671 - -1182697/4453092. Let t = 6695/20818 - 1/5948. Let g = b - t. Which is smaller: 0 or g?
g
Let h be (2 - -1) + 0 + 0. Let l(c) = 3*c**2 + 14*c + 14. Let u be l(-1). Suppose 0 = u*d, -2*f - 26 = 3*d - 20. Which is smaller: f or h?
f
Let j(p) = p**2 + 52*p + 51. Let y be j(-51). Which is smaller: y or -1/925?
-1/925
Let q be ((-134)/(-6))/((-1)/(-3)). Let p(k) = 23*k - 60. Let u be p(23). Suppose 0 = -300*d + 293*d + u. Is q greater than or equal to d?
True
Let p = 1429397/31 + -46117. Is -6 > p?
True
Let x = -2156 - -2155. Is x at least as big as 1/1432?
False
Suppose 5*j - q + 2599 - 74 = 0, -3*j + 5*q = 1493. Which is smaller: j or -1519/3?
-1519/3
Let p(m) = m**3 + 8*m**2 - 11*m - 4. Let x be p(-7). Let z(y) = 8*y - 50. Let s be z(-9). Let o = s + x. Do 2/15 and o have different values?
True
Let u(d) = d**3 - 9*d**2 + 5*d + 1. Let s be u(10). Suppose 0 = 5*c + 4*w + w - 150, -5*c - 4*w + s = 0. Is 32 at most c?
False
Let i be (-1464)/2 + -10 - -6. Is i at most as big as -733?
True
Suppose 2*t = -4*x + 124, 3*x - 5*t = 88 + 5. Let s(k) be the third derivative of k**4/8 + 97*k**3/6 + 161*k**2. Let c be s(-22). Is x < c?
False
Let i = 7234 + -36173/5. Which is bigger: 398 or i?
398
Let h = -241 - -255. Suppose 15*z + 99 = h*z. Is z < -0.1?
True
