0 + 0 - q. Let t be d(6). Let h be -3 + (-90)/(-6)*3/5. Do h and t have the same value?
True
Let u = 44191 - 44194. Let d = 3 + -1. Is u equal to d?
False
Suppose 2*q = 3*r + 30, 3*r = q - r - 25. Suppose -q*b - 64 = -5*b. Let t be b + -1 + 4 - -2. Which is smaller: -12 or t?
-12
Let s = -2/141 - 41/423. Suppose -5*c - 4650 = -4*j - j, 4*c = -2*j + 1884. Let m = j + -934. Is m < s?
False
Let j be (-70)/(-21)*-2 + 8/(-6). Let n be (j - -6)/(-1) - (0 - -7). Which is smaller: 2 or n?
n
Let a be (3/(-9))/(1/6). Suppose 5*z + 34 = 5*u - 1, 7 = u + z. Is a > u?
False
Let v = 7099 + -7102. Which is bigger: 1.064 or v?
1.064
Let x = 23333 - 23332. Which is smaller: 3/10154 or x?
3/10154
Let a = 1471.8 - 1445.8. Which is smaller: 29 or a?
a
Suppose 0 = -36*d - 15315 - 45453. Let k be (-750796)/(-444) + 1 + -4. Let f = d + k. Is 0 greater than or equal to f?
True
Suppose 0 = -4*k - 10 + 2. Suppose 15 = o + 1. Let g be ((-8)/(-12))/(o/(-15)). Is g at most as big as k?
False
Let c = 65 + -65.05. Let k = -4.7 + 2. Let u = k + 3.1. Are u and c nonequal?
True
Let a = -14 - -47. Let m = a - 25. Let l = 8.2 - m. Which is greater: 25 or l?
25
Let k = -187 - -484. Suppose -r = 2*i + 608, 3*r = -i + 6*r - k. Does -303 = i?
True
Let j = -70 - -71. Suppose 0 = 4*s - o - 10, 4*s + 0*s - 3*o - 14 = 0. Suppose -7*k = s*k + 504. Is j less than or equal to k?
False
Let q be ((-2)/3*38/(-114))/(194/6). Let j be ((-6)/9)/((-2)/(-3)). Is q less than j?
False
Let l = -61 - -64. Let x be l/36 - 10/(-15). Is x not equal to -1/16?
True
Let n = -4957 - -3464. Which is smaller: n or -1494?
-1494
Let c be 23 + 120/(-20)*4. Which is bigger: c or 4/577?
4/577
Let z = -512 - -512.2. Are z and -1495 unequal?
True
Let g be (28 - 32) + -3 + 22. Let w(t) = -t**3 + 4*t**2 - 2*t - 2. Let k be w(2). Suppose k = 2*b - 0. Which is greater: g or b?
g
Suppose 0 = 21*m + 22*m. Is -1/11611 less than m?
True
Let m be -10 + 2 - (1 + -780). Let y = m + -769. Is 13 at most as big as y?
False
Suppose 5*p + 63 = 4*g, 1 = g - 1. Let v = 0 - p. Suppose -z - v = 3*c - 0, z - 17 = 4*c. Is c greater than or equal to -14?
True
Let n be (-2 - 1) + (4 - 8). Let s be -2*n/63 - (-28)/36. Is s at least as big as 22?
False
Let z = 1661.7 + -1662. Which is greater: -24/7 or z?
z
Suppose 64 + 261 = 13*l. Suppose 0 = 24*o - l*o - 2*s, -5*s - 13 = -4*o. Which is smaller: o or -23.2?
-23.2
Suppose d + 2*u - 36 = -48, 0 = -4*d + 3*u - 15. Which is smaller: d or -0.83?
d
Let s be 6 - (2 + 3 - 4). Suppose -l + 4 = -5*b, 0*b - 2*b + s*l = -3. Which is smaller: b or 3/80?
b
Suppose 17787 = -32036*d + 32057*d. Which is smaller: 854 or d?
d
Suppose 0 = m + 3*k - 16, -2*k - 20 = -3*m - 4*k. Let n(u) = u**2 - 2*u + 4. Let i be n(6). Is i less than m?
False
Let c(b) = 3*b - 5. Let n be c(5). Let l = 6 - n. Let j = -19/158 - 2749/790. Is l > j?
False
Let v = 33 - 58. Let i(z) = -5*z**3 - 8*z**2 + 225*z - 8. Let x be i(6). Is v > x?
True
Suppose 23*g - 602 = 19*g - 3*y, 2*y + 12 = 0. Does 155 = g?
True
Let h be 1/5*294843/(-9). Let d = -6555 - h. Let y = d + 3/5. Which is smaller: -2 or y?
y
Let b = -259 - -251. Let m = 7 - -4. Suppose 4*r + 17 = -m. Does b = r?
False
Suppose 5*i + 2*k = 2*i + 2, 5*k = i - 12. Suppose 3*n = 5*b - 69, -b - 4*b = -i*n - 41. Which is bigger: -29 or n?
n
Let a = -25.34 - 3.26. Let h = 147.4 - a. Which is bigger: 0 or h?
h
Let g = 30.5 + -0.5. Let m = g + -76. Let y = -45 - m. Which is smaller: -1 or y?
-1
Let q = -1.25 + 1.604. Let o = q - 0.154. Does o = -0.046?
False
Let j(h) = -h**2 - 16*h - 34. Let v be j(-13). Suppose -v*t - 4 = -34. Let r be (t/95)/(-6 - 399/(-70)). Is -2 not equal to r?
True
Let t = -14370 + 13063. Is t <= -1307?
True
Let s = -580 - -580.0836. Let o = 399.9164 + s. Is o greater than 0.1?
True
Let t = -41 + 46. Let c be t + -2 + (-44)/(2 + -3). Let v be (-2)/(-4 + 190/c). Which is bigger: -46 or v?
-46
Let w = -6775 - -7045. Is 276 > w?
True
Let w = 638.56 + 3.44. Let r = w - 629.12. Let j = -0.12 - r. Is 2/3 equal to j?
False
Let t = -252 + 287. Let v = 62.8 + -62.8. Which is bigger: t or v?
t
Let b be 0 + (-990)/(-3992) - (47 + (-1309)/28). Let c(t) = -t + 5. Let m be c(6). Is b <= m?
False
Let a(z) = z**2 + 68*z + 569. Let f be a(-19). Which is bigger: f or -367?
f
Suppose 6*g = -2*f + 5*g - 541, -3*f - 815 = 5*g. Let z be 4/6 - (-1692)/f. Suppose 0 = v - 6*v - 30. Is z >= v?
True
Let f be -2*2/(-12)*18. Let g be (f/(-16))/(3/(-4)). Let r = 0.37586 + -2.37586. Do g and r have different values?
True
Suppose -23*r - 116 = 6*r. Let u be (-3)/r - (-22988)/112. Is 206 <= u?
True
Let m be 1432/(-546)*(-8)/(-16) + 20/15. Let c be 62/52 - 2/(-7). Let k = m + c. Is -0.03 bigger than k?
False
Let n(x) = x**3 + 98*x**2 + 956*x - 86. Let z be n(-87). Which is smaller: z or 16/5025?
16/5025
Let x = -1 + -62. Let c be 6/21 + (-927)/x. Let y be (2 + 0)*2/4. Are c and y nonequal?
True
Let h be (-6 - 39/(-9))/(40415/6735 + -6). Is h at most -2244?
True
Let k = 0.01771 - -88.04229. Let i = k - 87. Let b = i - -0.94. Are 21 and b unequal?
True
Suppose 0 = 2*u + 3*u + 5. Let t(p) = -p**2 + 56*p - 27. Let r be t(22). Let k = 12258/17 - r. Which is smaller: k or u?
u
Let t = 982687 + -14732059/15. Let v = 550 - t. Let u = 4 - 3. Is v at most u?
True
Let q be (123536/(-84))/((-8)/6*(-10)/60). Are q and -6617 nonequal?
True
Let f be 3/(-9) + (-3045)/(-1485). Let y = f - -926/33. Which is smaller: y or 29?
29
Let r = -166.72 - -163.72. Let q = -107 - -72. Is r at most q?
False
Let x be 1/3 - 490/1218. Let p(g) = -g**3 - g**2 - 7*g - 40. Let b be p(-3). Does b = x?
False
Let f be (-5010)/(-720) + 3/72. Which is greater: f or 0.02?
f
Let i = -107 + 136. Let y(n) = n**3 - 8*n**2 - 10*n + 12. Let s be y(9). Is s less than i?
True
Let v(a) = -a**3 - 4*a**2 - 1. Let u be v(-3). Let y be 4/u + 28/20. Let m = 326492/25 - 13060. Which is smaller: m or y?
m
Let k be (39 - -1)/((-5)/5). Let j = k - -41. Suppose -l = -0*l. Which is smaller: j or l?
l
Let a be (-1)/(-5) - 1866*(-20)/(-180600). Is -1 equal to a?
False
Let p = 466.1252 + -0.1252. Let l = -0.091 - -0.191. Which is smaller: p or l?
l
Suppose 2*y + 49*y + 1142 = -13189. Which is bigger: -283 or y?
y
Let o(a) = a**3 + 3*a**2 - 2*a - 4. Let u be o(-3). Let t be u/1 - (-28)/(-13). Let n be 5*((-1 - 0) + 2) + 7. Which is bigger: n or t?
n
Let q be 12/(-11) - 9251584/1562. Is q <= -1/4?
True
Let m = 3472 - 3475. Let x(k) be the second derivative of -k**3 - 5*k**2/2 - k. Let o be x(m). Which is bigger: o or 15?
15
Let d be 384/(-1056) + 84006/(-33). Which is bigger: d or -2545?
-2545
Let p = -1420 + 1338. Is -487/6 <= p?
False
Let y be -2*(-6)/36*-3*1. Let o be -5*(-2)/(-5) - (y - 14). Is o < 13?
False
Let j = 486 + -1044. Let y = 593 + j. Is y > -0.1?
True
Let d(r) = -r**2 - 6*r - 12. Let v(h) = h**3 + 8*h**2 - 9*h - 4. Let l be v(-9). Let o be d(l). Let f be (22/(-6))/(44/33). Are o and f nonequal?
True
Let x = -262/1325 - -2/53. Let s be (4/16)/1 + (-5)/4. Which is bigger: x or s?
x
Let q be -1*1 + 24/21. Let p be (6/14)/(-1) + 4606/343. Suppose p*z + 10 = 3*z. Which is greater: z or q?
q
Let u(g) = -30*g**3 + 9*g + 9. Let o be u(-1). Suppose o*b = 24*b - 6. Which is smaller: 1/43 or b?
b
Suppose -35*x = 8761 + 864. Are -290 and x unequal?
True
Let b = -67.67 + -71.33. Is b bigger than -15?
False
Suppose v - 4*z + 62 = 0, -5*z + 4 + 11 = 0. Is -55 >= v?
False
Suppose 2*x + 2*v + 160 = 0, -3*x - v + 6*v = 216. Let l be ((-920)/8)/((-12)/8). Let t = l + x. Is 55 > t?
True
Let y = 56 + -27. Suppose 2*d + 5*m - 4 = 0, -6 - 2 = -4*d + 3*m. Let t be (-7 - -6)*(2 + -3 + d). Which is bigger: t or y?
y
Let n(u) = -59*u + 887. Let b be n(15). Is b at least 69/20?
False
Let i be 51/(-255) + (-105)/(-3800)*6. Is -0.1 equal to i?
False
Let g(h) = h**3 + 47*h**2 + 113*h + 3083. Let s be g(-46). Does 2/1751 = s?
False
Let p = -1898758421/45 + 42215962. Let g = p - 21329. Let i = g - 6/5. Which is greater: 0.1 or i?
i
Suppose -5*v = -l - 94 - 38, 69 = 3*v - 4*l. Let s be 18/(-36) + -6*v/(-364). Which is smaller: s or 0?
s
Let z = -221 - 1009. Let i = 1744 + z. Is i at least as big as -1?
True
Let x = 1.82 + 1.4. Let o = x - 2.22. Is -1/10 != o?
True
Suppose 3*v = q + 3*q + 9, 5*q = 5*v - 15. Let i(j) be the third derivative of j**4/12 + j**3/3 - 21*j**2. Let d be 