 u have different values?
True
Let b = -5 + -10. Let a be 3/b*(-4)/(-2). Is -43 equal to a?
False
Let b(i) = -i**2 + 4*i - 2. Let g be b(2). Let m = -531 - -535. Are g and m nonequal?
True
Let c be (-12)/8*1 + (-3)/(-6). Which is bigger: -3/122 or c?
-3/122
Let t be 3*20/(-6) + 0. Let q(k) = -k**2 - 9*k + k - 5 + 3*k. Let n be q(-6). Is t <= n?
False
Let p = -8 - -7.941. Let r = 0.041 - p. Which is smaller: r or -54?
-54
Let g = -2041 - -1345. Which is greater: g or -694?
-694
Suppose -24 = 3*b - 6*b. Let h be (1 + b)/(2/10). Suppose -3*a = -3*t + h, -3*t = t + 5*a - 15. Is 10 <= t?
True
Let u = 56 - 58. Let o be (2/6)/((-2)/(-9)). Is o at most u?
False
Let t = -708793/52290 - 3/5810. Which is smaller: t or -15?
-15
Let b = -14 + 16. Let t = 2 + b. Suppose p - 2 = -y, 5*y - 5 = t*p + 23. Which is greater: 0.1 or p?
0.1
Let l = -12/467 + -14860/3269. Is l at least as big as -4?
False
Let i be (-6)/(-2) - (-3 + 6). Suppose 3*p - 2*p - 2 = i. Let f be 0/(-2) + (-1)/(-2). Is p less than or equal to f?
False
Let x = 2272 + -2270. Let q = -512/3 + 174. Which is smaller: q or x?
x
Let v = -36.9 + 0.9. Let y = v + 29. Do y and -0.2 have the same value?
False
Let z = 2.7 + 2.3. Let v = z + -6. Let h = v - -0.8. Which is smaller: h or 2/3?
h
Let m = -20 - -19. Let d be (-18)/14 - m - 0. Are d and 1 nonequal?
True
Let m be 6/(-14) + 8 + 255/(-34). Which is bigger: m or -3.1?
m
Let r(o) = -2*o**2 - 3*o + 4. Let i(w) = w**2 - w - 10. Let u be i(3). Let m be r(u). Let a be 10/(-4)*m/(-60). Are a and -2 equal?
False
Let p = 269.81 - 270. Let k = 43.49 + -43. Let s = k + p. Does s = -4?
False
Let y = -46 - -45.9. Is -247 not equal to y?
True
Suppose 0 = -4*f - o - o + 18, 4*f - 39 = 5*o. Suppose -5*t + w + 9 = 0, 7*w = 4*t + f*w - 8. Are t and -2/199 nonequal?
True
Let v = 22 - 22.9. Let z = 4.01 - 4. Let l = z + -0.01. Is l != v?
True
Let r(z) = 42*z + 10. Let k be r(-4). Which is smaller: -157 or k?
k
Suppose 24 - 3 = 3*n. Are n and 54/7 nonequal?
True
Let z be 0 - -3 - 28/9. Let x(u) = -u**2 + 42*u - 79. Let v be x(2). Is z less than v?
True
Suppose 3 = -2*n - j, 5*j + 35 = 10. Is 2/133 equal to n?
False
Let u = 0.08 + 4.92. Let i be (-28)/98 + (-82)/(-189). Let k = i + 11/108. Are u and k unequal?
True
Let a = 276/85 - 28/17. Let u be 30/18 + 2/6. Which is bigger: a or u?
u
Suppose 2*n = 4*h - 43 - 53, h + 262 = -5*n. Is -55 > n?
False
Let x = 2.8 + -2.9. Is 4/31 less than or equal to x?
False
Let t = 2/523 - -1016/7845. Let o = -1/105 - t. Do o and 0 have the same value?
False
Let a(g) = g**2 - 3*g + 2. Let o be a(4). Let c be ((-57)/o)/((-2)/(-4)). Let m = -19 - c. Is -3/16 at most as big as m?
True
Let c = -0.061 + 0.761. Let t = c + -0.6. Is -28 greater than or equal to t?
False
Let x be 78/144 - (15/9 - 1). Let s(i) = -i**2 + 4*i - 2. Let t be s(3). Which is greater: t or x?
t
Let c = 1514.032 + -1514. Which is smaller: c or 0.2?
c
Let g(m) = -15*m + 239. Let u be g(17). Are u and -16 equal?
True
Let d = 2 - 5. Let i = 3 + d. Let j = -13/42 + -47/42. Which is bigger: j or i?
i
Let h(y) = 8*y - 68. Let m be h(8). Let x = -5912/1603 - 6/229. Is m bigger than x?
False
Let n = -298 + 297. Do 2/89 and n have different values?
True
Suppose 0 = 5*w + 5*p - 52 + 27, 4*p = -5*w + 30. Which is bigger: w or -47?
w
Let p be (-1)/(-3) + -1 + (-8)/6. Let f(q) = 6*q + 11. Let y be f(p). Let h = -0.33 - 0.97. Is h < y?
True
Let y = -479/190 + 2/95. Let f = 5.3 - 32.3. Let o = f + 29. Is o at most y?
False
Suppose 0 = 27*l + 26*l + 636. Is -14 greater than l?
False
Let i(z) = -z**3 + 8*z**2 - 6*z - 6. Let c be i(7). Let j(d) = -7*d**3 + d**2 - d + 6. Let s be j(2). Which is smaller: s or c?
s
Let o = 90.9 + -98. Let j = -7 - o. Which is smaller: -9 or j?
-9
Let x be (-1 - 7)/(-6 - -4). Suppose j = 8 - x. Let t be (2/(-2)*-1)/(-1). Is j < t?
False
Let i = 448 + -455. Is i at least 1.4?
False
Suppose -h = -d, -3*d = 2*h - h + 12. Let l be h/7 + 10/56. Is l smaller than 23?
True
Let r = -25 + 19. Let n be (-18)/(-45) - r/10. Let g = -1/106 - -271/636. Does n = g?
False
Let b be -4*(0 - (-15)/80)*-96. Is 73 smaller than b?
False
Let x = -383.12 + 392. Let t = x - -0.12. Which is smaller: -1 or t?
-1
Suppose -2*m - 4*i - 18 = 0, 2*m - 4*i - 21 = m. Let u be (0 + (-1)/(-33))*2. Which is bigger: m or u?
m
Let d be 1/12*(-76)/6. Let s be (-1160)/(-360) + 16/(-6). Let h = d + s. Is 0.3 at most h?
False
Let g = -12 + -86. Let w be (2 - 16)*(-45)/(-18). Let u be g/w - 4/5. Which is bigger: u or 4?
4
Let a = -2006 - -2024. Is -6 less than a?
True
Suppose 2*p = -0*p - 1334538. Let f = 22682625/34 + p. Let n = f + 133. Is n < 0?
False
Let q be -3 + 497/147 - 4/(-14). Is -9/5 less than or equal to q?
True
Let k(z) = -z**3 + 3*z**2 + 3*z + 4. Suppose 2*n - n - 4 = 0. Let c be k(n). Let t = 0 - 1. Which is bigger: t or c?
c
Let b be 203/(-56) + (-6)/(-16). Let v(x) = x**3 + 4*x**2 - 3*x + 2. Let h be v(-5). Let j be h/6*18/12. Is j less than or equal to b?
False
Let g be (-14)/49 + (-5)/7. Is g >= 14?
False
Suppose -102*o + 58*o = 352. Is -20/3 at most as big as o?
False
Let h(n) = 28*n**3 + 2*n + 2. Let i be h(-1). Let q = i - -25. Which is greater: -5 or q?
q
Let n = 16466245/791 - 20817. Do n and 1 have the same value?
False
Let x = 58.01 - 62. Let k = 4 + x. Let n = k + -0.11. Is n less than 0.3?
True
Let n = -24 + 21. Let d be 2/(-5)*(n - -8). Which is bigger: d or -9/5?
-9/5
Suppose 0 = -3*p + 15 - 9. Suppose p*m = 10*m. Do -1/5 and m have different values?
True
Let g = -23/25 - -251/300. Does g = 19?
False
Let h(f) = -1 + f + 2 + 0. Suppose -23*l + 25*l - 6 = 0. Let o be h(l). Which is smaller: -3 or o?
-3
Suppose 11*k + 33 = -0*k. Let u(c) = -c**2 - 4*c - 3. Let l be u(-2). Let b be l/k - 10/(-45). Which is smaller: b or 0?
b
Let h be (8/(-20))/((-3)/15). Let z = h - 119. Let d be (-369)/z + (-2)/13. Which is bigger: d or 6?
6
Let i be (-312)/(-22) + (-4)/22. Let f be (-1)/(21/(-384)) - 4/i. Is 20 at least f?
True
Let z(x) = -4*x - 1. Let j be z(-1). Let q be (-72)/(-39) + 1 - j. Which is smaller: q or -1?
-1
Suppose 372 = 5*b - 3*h, -5*b = -0*b - 5*h - 380. Let q be 2/(-12) + 21/b. Is q at least -0.1?
True
Let i(f) = -16*f + 66. Let v(m) = -16*m + 65. Let c(o) = 5*i(o) - 4*v(o). Let w be c(7). Is -1 > w?
True
Let j = -4312 + 30176/7. Let g = 5 + -8. Let l = g + 3. Is l less than or equal to j?
False
Let n = 0.8 - -0.2. Let f(a) = 2*a - 12. Let v be f(8). Suppose 9*j - 2*u = v*j - 15, 5 = u. Which is smaller: n or j?
j
Suppose -2*y = -4*f - 34 - 38, 4*f - 204 = -4*y. Let o = 45 - y. Which is smaller: 4/13 or o?
o
Suppose 2*w - 80 = -3*w. Let z be (w/(-18))/(4/6). Let p = -70 - -70. Which is bigger: z or p?
p
Let t(a) = -7*a**3 + 2*a**2 + a. Let k be t(-1). Let g(b) = -b + 7. Let s be g(k). Let l be 2/(-7) - 220/(-525). Is s < l?
True
Let b = 0 - 0.2. Let t(j) = 17*j - 75. Let h be t(4). Let d be (-10)/5 - ((h - -2) + 0). Is d > b?
True
Let c = -5 - 3. Let n = c + 18. Let h = -10 + n. Which is smaller: -7 or h?
-7
Suppose 0*o - 45 = -5*o. Let n be ((-33)/(-9))/((-5)/(-15)). Is n bigger than o?
True
Let t = -4484570/40677 + 16284/149. Let s be 4 + ((-1920)/(-117))/(-4). Let d = s - t. Which is smaller: 0 or d?
0
Suppose 126 = f + f. Let x = f + -36. Which is greater: 26 or x?
x
Suppose -33 + 26 = -7*h. Which is greater: -13 or h?
h
Let v(d) = d + 30. Let c be v(-32). Which is smaller: -40/33 or c?
c
Let g = 5088 + -15266/3. Let k = 1 + -0.9. Let q = k + -0.1. Do q and g have the same value?
False
Let v be (5 + 11 - 13)*182/6. Is v not equal to 91?
False
Let x = -15.7 - -15.7. Is 2/7 not equal to x?
True
Let y = -72.1 + 68.1. Is 60 greater than or equal to y?
True
Let i(x) = x**3 - 4*x**2 + 7*x - 4. Let z be i(2). Let n(o) = -2*o - 6. Let y be n(-8). Suppose -y = -z*c + 34. Do c and 21 have the same value?
False
Let q(n) = -25*n**3 - n**2 - 2*n - 1. Let x be q(-1). Suppose 969*k - 931*k = 988. Are k and x non-equal?
True
Let t = 16/27 - 10/27. Let w = 6 + -12. Let p = -7 - w. Is t smaller than p?
False
Suppose -6*l + 5*l - 34 = 0. Let c = -109 - l. Is -76 greater than or equal to c?
False
Suppose 0 = -2*h - f - 4, -4*f - 6 - 3 = h. Let g be 1*h - (-21)/21. Which is smaller: g or 6/29?
g
Suppose 0 = 4*f + 3*f + 84. Let a(t) = t**3 + 11*t**2 - 12*t + 2. Let r be a(f). Which i