 5*h - f*s + 191 = 28. Is h bigger than -214/7?
False
Let d = 2.13145 - 0.33145. Which is smaller: 0.462 or d?
0.462
Let m(o) = -3*o - 19. Let b be m(-7). Let c be (4 - (5 - -2))*(-1 + b). Suppose -2*y + 19 = -5*q + 6, 19 = -5*q - 4*y. Are c and q nonequal?
False
Let q = -8466 + 4303. Is 0 at most q?
False
Suppose -701*g + 723*g + 5940 = 0. Which is bigger: -814/3 or g?
g
Suppose -v - 20 = -6*v. Suppose 5*p = v*p - 6. Let f be ((-2)/(-24))/((-2)/p). Which is greater: f or -1?
f
Let w = 26 + -118. Let j = w - -96. Suppose 3*p - 5*c - 99 = 0, 4*p + j*c - 100 = -0*p. Is 28 equal to p?
True
Let f = -24996 - -25221. Which is smaller: f or 19?
19
Let n = -322 - -320. Let w be ((-12)/16 + 1)*n. Are -0.03 and w non-equal?
True
Let a = -3/665 + 3077/92435. Suppose -1549*j + 65 = -1484*j. Which is bigger: a or j?
j
Let c(i) = i**3 + 14*i**2 + 17*i + 5. Let l be c(-13). Let p = -39 - l. Suppose 4*h - 2*d + p = 3*d, -5*d = 0. Which is smaller: -7/3 or h?
-7/3
Suppose -2 = 2*l, 3*r - 6*r + 1082 = -2*l. Is 356 at most r?
True
Let t = -0.5 + 0.3. Let z = -0.1512 + 0.3512. Let j = z + t. Which is smaller: 17 or j?
j
Let v = 20.660287 - -0.010713. Is v smaller than 0.1?
False
Let p = 7369 + -7342. Is p > -9/4?
True
Let y = 10744 + -10742. Which is greater: 0.0035 or y?
y
Suppose 74 = -67*f - 7*f. Is 3/5989 > f?
True
Let n = -2.347 + 1.347. Are -23/150 and n equal?
False
Suppose 4*b + 1409 - 1441 = 0. Suppose -11*p + v = -b*p + 4, 2*v - 8 = p. Is -4/229 smaller than p?
True
Suppose q + 3*w - 13 + 2 = 0, 0 = -3*w + 6. Suppose -19 - 91 = q*g. Is -24 >= g?
False
Let y be 10 + 6/(24/2540). Are y and 3222/5 equal?
False
Let s be (5/(-6690))/(0 - -1 - (-36)/81). Are 1 and s unequal?
True
Let q(c) = 11*c + 10. Let o be 7*(102/(-21) + 4). Let n be q(o). Let d be 4/10*(-385)/n. Is 3 greater than or equal to d?
True
Let b(g) = 2*g**3 + 19*g**2 + 38*g - 2. Let q be b(-3). Let x = -839 + 149. Let n = x + 15183/22. Which is smaller: q or n?
n
Suppose 0 = -9*y + 2*y + 21. Let x be -1 + 2/y + (-40)/(-30). Let o be (-6 - (-4 - x)) + 21*-1. Which is bigger: -24 or o?
o
Let s(n) = -231 + 291 - 12*n + 2*n. Let y be s(12). Let p be -6*20/6*3. Do p and y have different values?
False
Let z(y) be the first derivative of -y**3/3 - 15*y**2 + 4*y - 46. Let o be z(-30). Let c = 234/7 + -611/21. Is c greater than o?
True
Let b(a) = -2 + 13*a - 3*a - 2*a**2 + 17 + 3*a**2. Let i(q) = 31*q - 131. Let n be i(4). Let v be b(n). Are -6 and v non-equal?
False
Suppose -10*m = -2*q - 570, -3*q = 5*m - 55 - 250. Which is greater: m or 63?
63
Let n = 58 - 108. Let p be ((-15)/n + 4/(-10))*33. Which is smaller: -2 or p?
p
Let l = -1583494 - -121594920768/76789. Are -1 and l unequal?
True
Let q = -27968/35 - -799. Suppose -w = -7*w - 60. Let j = w - -10. Is j smaller than q?
False
Let n = -9829 - -9828.81. Which is smaller: n or 6/13?
n
Let d be ((-12)/(-9))/((-3)/(30/(-25))). Suppose -16 = p - 5*p. Suppose 0 = -x - p*x + 10. Which is greater: x or d?
x
Let w be (-1 + 2 - -117) + (-3)/1. Suppose 5*m = w + 30. Which is smaller: 28 or m?
28
Let g = -4 - -25. Let h = g - -20. Let t(u) = -u**2 - 13*u + 5. Let f be t(-9). Is f at most h?
True
Let k(d) = 2*d**3 - 8*d**2 + 8*d. Let l be k(4). Let j = l - 30. Let p be (3 + (2 - 4))*2. Is p != j?
False
Suppose 3480 = 47*p - 27*p. Let y = p - 133. Is 41 at most y?
True
Let c be 16/(-20)*5/(-2). Suppose 2*s = -k - 11, -3 = -2*k + c*s + 5. Let m be -36*7/28 - (500/(-55) - -1). Are k and m nonequal?
True
Let r = 642 - 633. Let s be -6*(2862/(-12))/r. Is s less than 476/3?
False
Let i(x) = x + 12. Let b be i(-8). Let g(q) = q**3 + 6*q**2 - 18*q - 4. Let k be g(-8). Which is smaller: b or k?
b
Let m = 71.7 + -72.95. Do 0.2 and m have different values?
True
Let b = -3.42 - 0.58. Let t = b + -13. Which is bigger: t or -0.3?
-0.3
Let c be ((7 + -11)*(-1)/(-2))/(-1). Suppose -4*p - 12 = -2*q, c*q - 3*p + p - 6 = 0. Which is smaller: -4/49 or q?
-4/49
Let c = -63 + 6. Let v = c - -57. Suppose v = 6*p + 5*p - 649. Which is smaller: p or 60?
p
Let n(z) = 720*z + 6374. Let d be n(-50). Which is greater: -29627 or d?
d
Suppose 0 = s - 2*p + 681, 3*s + 1036 + 1017 = -4*p. Do -679 and s have the same value?
False
Let a be (-16)/10 - (14 - 16). Let z = 85/4 - 20. Let y = z - 39/28. Which is bigger: y or a?
a
Let u be -1*(-3)/7 + (-17)/7. Let j be (3/(-2))/((-14)/8 - u). Let b be -11 - (-88)/(-66)*j/4. Which is smaller: b or 2?
b
Suppose 109 + 47 = -78*l. Which is smaller: -31/53 or l?
l
Suppose 4*a + 6 - 18 = 0. Suppose 2*d = -a*d + 80. Suppose u + 18 = w, -5*u = 5*w - 30 - 40. Are w and d non-equal?
False
Let f = 260.6 + -0.6. Let z = 259 - f. Let n = 10.95 + -11. Is n >= z?
True
Let y(w) = w**3 + 42*w**2 - 76*w + 629. Let t be y(-44). Suppose -2*u - 109 = 3*f - 423, -3*u + 114 = f. Is t less than f?
True
Let x be (148/111)/(2/3). Suppose 0 = -x*c - 18*c - 20. Which is smaller: c or -0.027?
c
Suppose -9*c = -1588 + 418. Let a(j) = 5*j**3 - j**2 + j. Let h be a(3). Which is smaller: h or c?
h
Suppose f + 3 - 1 = 0. Let i(l) = 15*l + 62. Let t be i(4). Let w = 120 - t. Is w smaller than f?
False
Let b = -5744 - -6029. Are b and 285 equal?
True
Let a = 19285/24 - 2960/3. Which is smaller: -184 or a?
-184
Suppose -4*i = -3*o - 29, -2*o + 2*i - 10 = 10. Let n be (286/(-8))/o*4. Is n greater than 11?
True
Let r = -68 + 70. Let l = 163 + -973/6. Which is bigger: r or l?
r
Let h be 9 - 6 - 22*(-9)/6. Suppose -h = 16*i - 25*i. Do i and 4 have the same value?
True
Let x = 134 + -521. Let w = 387 + x. Is w less than or equal to 14/41?
True
Let x = -146 - -122. Let t be (16/x)/(52/(-12)). Suppose -3*r = -r - 2. Is r at least as big as t?
True
Suppose -4340 = -2*c + 4*x, -x - 4343 = 2*c - 4*c. Which is smaller: c or 2171?
2171
Let y = -699 + 751. Are 18 and y equal?
False
Suppose -37*k = 25*k - 4*k - 3*k. Is k at least as big as -1/12482?
True
Suppose 4*x + 5*i + 151 - 118 = 0, -2*x + 2*i - 12 = 0. Let w = 18972 + -38635/2. Let p = -352 - w. Which is smaller: p or x?
x
Suppose -40*n + 18650 = -44150. Let r be n/(-1540) + 2/2. Is r equal to -1?
False
Let f = -141 - -149. Let y = -0.55 - 0.05. Which is smaller: y or f?
y
Let n = -0.02694 + 11.62694. Is -2/3 <= n?
True
Suppose 3*r + 4 = 2*l - 6*l, 0 = -2*l + 10. Let u = r + 22. Suppose u*x = 6*x. Is x at most -1/30?
False
Suppose -5511 = 3*o - 3*v, 172*v - 174*v = -14. Is o less than or equal to -1830?
True
Suppose 4*p = d + 31, -d - 2 = -2*p - 5*d. Suppose 0 = 53*g + 55 - 479. Suppose 3*h = b - p, -4*b - 5*h - g + 2 = 0. Is b equal to -1/66?
False
Suppose k = -k. Let o be 835/30 - (2 - 13/6). Suppose 2*w + 26 - o = k. Is w < -3/13?
False
Let v be (-2)/1322*(-231575)/(-225). Let h = 1/661 + v. Which is greater: h or -2?
h
Suppose 1675*u + 2556 = 1657*u. Suppose -2*b + 572 = -6*b. Which is bigger: u or b?
u
Let h = 126 + -123. Suppose -8 = h*f + 28. Let z be 6/2*(-10)/3. Are z and f equal?
False
Let x = -82 - 31. Let s = x - -113.59. Let z = -7.59 + s. Is z less than or equal to 1?
True
Let b be 1 + -5 - 3610/(-855). Let g = 12 - 8. Suppose 20 = 2*c - 5*t, 0 = -5*c - g*t - 9 + 26. Which is smaller: c or b?
b
Let i = -40 + 39.955. Let n = -8.7 - -29.7. Let l = n + -20. Which is smaller: i or l?
i
Let c be (96114348/(-162))/22 - 2/(-18). Is c at most as big as -26967?
True
Let t = -4881 + 4882. Which is bigger: 18/811 or t?
t
Let l(q) = q**3 + q**2 - 24*q - 9. Suppose 31 = -14*r - 39. Let t be l(r). Suppose -5*o = 2*i - 52, 0*o + 4*i + 6 = o. Which is smaller: o or t?
o
Let u(m) = 2*m + 21. Let g(d) = d**2 - 9*d - 47. Let s be g(12). Let j be u(s). Which is smaller: j or -72?
-72
Let t be 6/(-8) + (-4549)/(-5148). Let b = t - -2/99. Is b at most 2?
True
Let z(c) = c**3 - 1. Let i be z(1). Let f = -21145/4 + 5316. Let y = f + -29. Which is smaller: i or y?
i
Suppose -13*u + 83 = 5*z - 4*u, -2*z - u + 28 = 0. Which is smaller: -279 or z?
-279
Let x be 1 + (-4 - (-238)/(-33)) - 24/72. Do 14 and x have different values?
True
Let v be 2/6*(56 - -48892). Is v <= 16316?
True
Suppose -9*w = 85 - 1093. Suppose -w + 113 = -f. Which is bigger: f or -6/5?
f
Let f = -162 - -55. Let c = 40 + f. Are -68 and c non-equal?
True
Suppose -30*g - 4*t = -32*g - 10, 0 = 2*g + 3*t - 4. Is g smaller than 3/1819?
True
Let k = -73 + 254. Let x = k - 282. Let i = x - 