True
Suppose -2*v + 40 = -2*j, -2*v - j + 35 + 8 = 0. Suppose -q + 4*c = -36, -18*q + 20*q - 56 = 4*c. Do v and q have different values?
True
Let h(q) = 7*q**2 + 14. Let f be h(6). Suppose 0 = -x + 4*p + 133, 5*x - 369 = 5*p + f. Which is smaller: x or 124?
124
Let i = -1343 - -1343. Which is bigger: -12/2357 or i?
i
Let u(l) be the second derivative of 3*l**5/20 + 7*l**4/6 - 14*l**3/3 + 35*l. Let b be u(2). Which is smaller: 22 or b?
22
Let v(h) = -23*h - 48. Let m(y) = 65*y + 145. Let l(g) = 3*m(g) + 8*v(g). Let k be l(-7). Is -25 at most k?
False
Let g(i) = 18*i + 4. Let l be g(-1). Let n be (-8 - (-23 - l))/(1 - 0). Let y = -12 + 109/8. Which is greater: y or n?
y
Let v = 3953 - 3952. Which is bigger: 15/412 or v?
v
Let z be 1*2 - 10/(-1 - -6). Let s be (-36)/6454*52 + 2/7. Is z != s?
True
Suppose -2*a - 5*g = 514, -1567 = 5*a + 3*g - 301. Does a = -246?
False
Let y be 1/(-20)*4 - (-18)/(-10). Let m be y*13*(-3 - -1). Let u = -72 + m. Is -19 < u?
False
Let y = -542 - -665. Suppose 143*q = y*q - 1060. Which is greater: -51 or q?
-51
Let g be (-4)/(-5 + 4)*20/80. Which is smaller: g or 1/14481?
1/14481
Let x be 4 - 0 - (-13 - 90002/(-5236)). Which is smaller: -1 or x?
-1
Let t be 57/(-9)*(-10 + (6 - 255/(-9))). Is t at least -155?
True
Let l be (4/26 + 48738/(-317135))/(0 + -2). Which is bigger: l or 0?
0
Let g = -22.01 - -21.63. Which is greater: g or 113?
113
Let d = -803/5 - -3081/10. Let j = -153 + d. Let z = 1/14 - -9/70. Is z smaller than j?
False
Let s = 0.10396 - 0.00396. Is -299.8 less than or equal to s?
True
Suppose 4*o + 12620 = 3*y, -6310 = 2*o - 54*y + 59*y. Is o != -0.1?
True
Let w be (-43604)/55*(-40)/(-16). Is -1984 != w?
True
Let o = -78280 + 78267. Let k = 3 - 16. Is o <= k?
True
Suppose -15 = 3*x - 63. Let q be (-5)/(-15)*(0 - (x - 1)). Let y be ((-32)/(-14) + -2)/(q/(-35)). Is y not equal to 4?
True
Let a be (17*(-3)/(-306))/((-928)/18). Is 0 < a?
False
Let b be (-2)/4 - (-285)/6. Let w = -55 + b. Let f be 3*(128/(-33))/w. Is 0 not equal to f?
True
Suppose 2*m = 4*g + 1 - 9, 0 = 2*m - 3*g + 5. Let i(o) = 5*o**2. Let l be i(m). Suppose l = -2*s - 46. Do -2 and s have the same value?
False
Let a = 2318.68 - 2318.8. Is a > -2.2?
True
Let g = -597 + 596.624. Let t = -34.624 + g. Which is bigger: 2 or t?
2
Let q = 11891 + -11876. Which is greater: 1/386 or q?
q
Suppose -21*z + 22*z - 3 = y, 0 = 4*y - 8. Suppose 5*t + 690 = 5*s, z*t - 2*t = 5*s - 682. Is s at least 1?
True
Suppose -4*g - 4*c = -71 + 83, 0 = -3*c - 12. Which is bigger: g or 38/429?
g
Suppose -3*m - 13*z - 11 = -15*z, -2*z = -m - 9. Suppose -2*w - 2*d = -684, w + 3*d = 4*w - 1056. Let a = w + -8329/24. Is a not equal to m?
True
Let s be (-19)/7 - 8/28. Let h be s/(-4)*(-16)/(-306). Is h less than or equal to -1?
False
Let o = -1673 - -1763. Let s(t) = 2*t**3 + 3*t**2 - 2*t + 2. Let p be s(-4). Let u = p + o. Is 20 <= u?
True
Let j = -20038/13515 - -76/51. Let m = 77 - 76. Are j and m unequal?
True
Let m = 5809 - 5909.92. Let w = -108 + 209. Let s = m + w. Is s at most 0.1?
True
Let y = -809/4 - -683621/3380. Is y at least 0?
True
Let s = 49069/58 - 846. Let y = -0.48 + 0.38. Which is smaller: y or s?
y
Let a = -12493 - -13704823/1097. Let i(j) = j**3 - 5*j**2 - 26*j + 120. Let n be i(6). Which is bigger: n or a?
a
Let i(a) = 0*a**2 - 46 + 7*a**2 - 8*a - 12*a - 20 - 8*a**2. Let x be i(-18). Is -31 > x?
False
Suppose 0 = 11318*b - 11314*b - 17852. Which is smaller: b or -0.1?
-0.1
Let s = 15793 - 15680. Is s > 58?
True
Let l = -8.419 - -8.7. Let i = l + 30.819. Let t = i + -31. Which is bigger: -16 or t?
t
Suppose -5*z + 2*b + 200 = 0, -4*z = 3*b - 72 - 111. Let k be 7/(-6)*(-726)/z. Let x = 21 - k. Is 1 > x?
True
Suppose 0 = -0*b - 2*b. Let j be -7 - (-21 - -159*1530/17388). Which is greater: b or j?
j
Let x(z) be the third derivative of z**6/144 - z**5/15 - z**4/2 - 13*z**2. Let a(m) be the second derivative of x(m). Let c be a(2). Which is smaller: c or -8?
-8
Let v be (-2)/(-11) - 4461/33. Suppose 50*p = -9*p + 40*p - 2584. Is p at least as big as v?
False
Let s be (12 + (-1071)/35)/((-3)/(-15)). Suppose -c + 120 = 16. Let z = c + s. Which is smaller: z or 23/2?
z
Let f(z) = -z**3 - z**2 - 2*z + 2. Let k be f(0). Let p be (k + 3/(3/(-2)))/2. Which is smaller: -2/103 or p?
-2/103
Let w(g) = -17*g + 1123. Let u be w(-50). Which is bigger: 1975 or u?
1975
Let g be (3 - (-5 - -3))/1. Suppose 5*t - 5*m - 5 = 0, -5*m = -2*t - 6*m + g. Is t bigger than 5/4?
True
Suppose 671 = -19*p - 222. Let w = -15 - -62. Let q = p + w. Which is smaller: -4/15 or q?
-4/15
Let n = -36687/17 + 2157. Let h = 193/102 + n. Which is smaller: h or 2?
h
Let b(s) = -852*s**2 + 26*s - 26. Let z be b(1). Let v be 4 - (-10232)/z - -8. Is v equal to 1?
False
Let t = 331.2 + -334.2. Let d = 2.4 + 9.6. Which is smaller: d or t?
t
Let k = 229 - 229. Which is bigger: -3/5008 or k?
k
Let x = -108 - -92. Let f = 189 - 190. Does x = f?
False
Let l be -142*2/((-24)/18). Let b = l + -306. Which is greater: b or -94?
b
Let k = -4235 - -4231. Is 94 less than k?
False
Suppose 0 - 2 = -2*m. Let z = 29246 + -29248. Is z bigger than m?
False
Let y(f) = -78*f**2 + 9*f + 45*f**2 + 35*f**2 - 6. Let q be y(-5). Is -7/27 greater than or equal to q?
True
Suppose 0 = -o + 4*h + 4868, -15*o + 11*o + 19517 = -h. Which is greater: o or 4879?
o
Let h be 1*((-19 - (-284)/16) + 2/8). Which is bigger: -16/1437 or h?
-16/1437
Let r = -20 - -20. Let m be (r - 78) + -12 + 15. Let y be (-20)/m*5*-3. Is -19/6 greater than y?
True
Let j(p) = 1057*p + 633. Let d be j(-1). Is -417 < d?
False
Suppose -3*i - 2*j - 21 = 0, i + 3*j + 7 = -2*j. Let d = i - -10. Let h = 499 + -498. Which is smaller: d or h?
h
Suppose -313 = 23*b - 336. Let u = 25286 + -1997564/79. Is u <= b?
True
Let d be (-3)/3 + 2 + 0. Let c = -107950/21 - -5140. Is c greater than d?
False
Let w(p) = -28*p**3 + 3*p**2 + 4*p - 1. Suppose d + 91 = 88. Let f be w(d). Suppose 3*t = -7*t - f. Is t less than -78?
False
Let p = -33618 - -1344717/40. Which is bigger: -179/5 or p?
p
Let d be (4 - 1 - 1)*5. Suppose 7*f = d*f - 900. Let u be (15/(f/16))/(0 + 1). Which is greater: 2 or u?
2
Suppose 133*t = 155*t - 132. Suppose -3*c = c. Suppose u - t = -c. Is 5 at least as big as u?
False
Let u = 47 + -32. Let v = u - 17. Let c be (v/12)/(12/(-54)). Which is smaller: 0 or c?
0
Let p = 2686487/3432 - -6257/104. Let w = p + -843. Is 1 greater than w?
True
Let a = 1049 + -7342/7. Suppose -3*m + 22 = 4*k - 2*k, 3*m - 2*k = 26. Suppose o + m = -2*t, -2*t + 10 = -o - o. Which is greater: o or a?
a
Let i(w) = -w**3 - 27*w**2 + 25*w + 74. Let p be i(-28). Let o be (-628)/p - 4/(-1). Is 1 at most o?
False
Let m(d) = -136*d + 2720. Let f be m(20). Are f and 1/23372 equal?
False
Let v = 556 + -556.01. Let m(w) be the first derivative of 7*w**2 - w - 21. Let z be m(1). Is z at least as big as v?
True
Suppose d + 15 = -5*v, -2*v = 3*v - 3*d + 15. Let h be v/1251*(1 + -4). Which is greater: -1 or h?
h
Let n be ((-3180)/25)/(2/10). Suppose 114 - 10575 = 17*p + 334. Which is smaller: n or p?
n
Suppose 31*t = 3*r + 27*t + 1185, -395 = r + 4*t. Suppose 0 = g + 164 + 230. Which is greater: r or g?
g
Let i(d) = -d**2 - 9*d + 14. Let z be i(-10). Suppose 5*s = 3*a - 55, -z*s = -2*a + 6*a - 84. Is a greater than 19?
True
Suppose -3*s = 5*u + 502, -s = 471*u - 476*u + 194. Let g = -126 - 49. Is s less than g?
False
Let a = -59.896 - -60. Let r = a - 2.104. Let m = -13.2 - 0.8. Are m and r nonequal?
True
Suppose -4*g + 5*g + 5 = -4*o, 2*g = -o - 10. Suppose o = 3*y - y. Is y >= 0?
True
Let j be 26*(-1 + (-3)/(-6)). Let u = j - -9. Let c = -65 - -69. Is u > c?
False
Suppose 8*f - 5*f - 48 = 0. Let q be (3/(279/6))/(f + -6). Let j(g) = g**2 - 12*g + 19. Let r be j(10). Is q greater than or equal to r?
True
Let d = -2 - 2. Let b be (-34)/((-1)/(2/d)). Let c = -0.368 + 0.268. Is c less than or equal to b?
False
Let k = 52439.903 - 52461. Let r = k - -22.29. Let t = -0.107 - r. Is t greater than -2/5?
False
Suppose 559377 + 541596 = 198*m + 376887. Does m = 2?
False
Let g be 55 + -29 - 7331/280. Which is smaller: g or 0?
g
Let n = -12839/6888 - -230/123. Which is smaller: -0.46 or n?
-0.46
Let a = -5 - -24. Let d(y) = -2*y + 48. Let t be d(a). Let g be ((-5)/(5 - t))/(-1). Which is smaller: g or 2/19?
g