r?
True
Let h be 63/9 - -62 - -10. Is 79 < h?
False
Let v = 140 - 702/5. Are -62 and v nonequal?
True
Let o be (-1 - -6) + 185 + 95/(-19). Is 182 greater than or equal to o?
False
Let k = 166 - 164.14. Let m = k + 5.16. Let y = -0.02 + m. Is y <= 0?
False
Let c = 0.198 + 18.702. Let y = 19 - c. Let v = y + 0.8. Do -1/2 and v have the same value?
False
Suppose 2*l + 20 = -3*l, -2*l - 22 = -2*t. Let s(h) = 19*h - 72. Let f be s(4). Are t and f equal?
False
Suppose 4*p = -0*p - 2*f - 46, -4*f = 12. Which is bigger: p or -44/5?
-44/5
Let k be 0/4 - (-7 + 3). Let l be -7 + k - (-44)/13. Let g = l - 79/104. Is 2/5 at most g?
False
Let v = 193 + -198. Which is greater: v or -6?
v
Suppose 26*w - 30*w = -43*w. Which is bigger: 2/1285 or w?
2/1285
Let b(v) = v**2 + 2*v - 4. Let z be b(-3). Let y be (8 - 7)*(-10)/z. Let s be y/1 + (1 - -2). Is 14 bigger than s?
True
Suppose 4*l + 15 = -0*l - h, -9 = 3*h. Let y be l*(-56)/(-12) + -3. Let a = y - -25. Is 8 < a?
False
Let t = 0.9 + -0.9. Let h be (210/(-9))/(2/(-3)). Let b = h - 48. Which is greater: b or t?
t
Let u(o) = -o**3 - o - 4. Let j(y) = y**2 + 8*y - 3. Let r be j(-8). Let f be u(r). Suppose -5*m + 0*n = 2*n - 133, 0 = -3*m - 2*n + 79. Does f = m?
False
Let o = -877 - -856. Do -26 and o have different values?
True
Suppose -4*c = -6*c - 2*l - 54, -5*l = 2*c + 45. Is c smaller than -27?
True
Let a = 0.79 + -0.79. Is 94 at least as big as a?
True
Let a be (2 - (-3)/(-2))*0. Let w be (-18)/(-24) + (-3)/4. Let s = -1/4 + w. Which is smaller: a or s?
s
Suppose 4*b + 128 = -2*y + 110, 2*y + 10 = -2*b. Do -48 and y have different values?
True
Let h = -2091 + 2104. Let a = 5 + -3. Let i be (0 - 0)/(a - 0). Is i at most as big as h?
True
Suppose 2*j = j + k, -4 = -4*k. Let p be j + 287/(-289) - (7 + -7). Is 1 <= p?
False
Let u = -12 - -8. Let o be (11/u)/((-11)/(-418)). Let k = -6057/58 - o. Is k greater than or equal to 0?
True
Let u(n) = n**2 + 4*n - 2. Let w be u(-5). Suppose 3*h - 48 = w*m, h + 80 = -2*m - 3*m. Is -12 bigger than m?
True
Let x be (-4)/(-2)*-3*8/48. Does x = -2/685?
False
Suppose -2*s = r + 2*s - 48, 3*s = -4*r + 127. Suppose 3*m + r = -m + 4*p, -4*m - 4*p + 12 = 0. Let v be 10/28*(-6)/(-15). Which is bigger: m or v?
v
Let i be 4/(-7) + 36/(-84). Let k be (-4 + 7)/(i - 14/(-8)). Are 5 and k equal?
False
Suppose 4*i - 30 = -0*i - 5*v, -4*i - 2*v = -24. Is i greater than or equal to -10?
True
Suppose 2*p = 5*p + 3. Is p > 8/99?
False
Let p be (-6)/16 + 1503783/1512. Let c = p + -994. Is -1 less than c?
True
Let h(o) = 2*o**2 + 16*o + 2. Let t be h(-6). Which is bigger: -21 or t?
-21
Let n = -0.6 - 1.4. Let j = n + 5. Let g = -0.31 + 0.01. Which is smaller: g or j?
g
Suppose -2*m - 107 = 39. Is m at least as big as -71?
False
Suppose 595 = -8*d - 149. Are -94 and d equal?
False
Let f be ((-1)/(-2))/((-676)/104). Let t = -1.5 + 1.57. Which is smaller: t or f?
f
Let g = 2104 + -2111.02. Which is greater: 1 or g?
1
Suppose 5*r - 7*v + 5*v = 7, 4*v + 4 = 0. Which is smaller: -19/59 or r?
-19/59
Suppose -5*t + 4 + 11 = 0. Suppose 4 = t*h + 3*q - 5, 3*q = -h + 13. Let b be h - ((-7)/(-9) - 3). Which is smaller: 0.1 or b?
0.1
Let f = -263 - -267. Do 36 and f have the same value?
False
Let j = 5169 - 5171. Let q = -0.11 + 5.11. Let d = q - 3. Which is smaller: d or j?
j
Let a be (2/4)/(4/(-168)). Let w be (a/(-28))/((-3)/(-4)). Suppose 3*v = -2*v + 5. Is v bigger than w?
False
Let m = 14.9 + -15. Let v = -4 - -6. Let l = v - 3. Which is bigger: m or l?
m
Let x = 461 + -460. Which is greater: x or 2/71?
x
Let b(m) = 136*m + 787. Let q be b(-6). Is -86/3 > q?
True
Let m = 677938 + -493538989/728. Let x = m + 1/56. Are -2 and x non-equal?
True
Suppose 12*c - 46 = -5*j + 9*c, -2*c = -2*j + 12. Is j greater than 55/8?
True
Let i = -25 + 37. Let a(q) = -19*q + 1. Let s be a(-1). Let h = s - 9. Is i <= h?
False
Let d(w) = -w**2 - 18*w - 38. Let f be d(-6). Are 34 and f non-equal?
False
Suppose 3*d + 5*a + 70 = 0, 3*d + 3*a = 7*d + 45. Do d and 0.065 have the same value?
False
Let c be (-2)/(-5) + 92/20. Suppose -2 = 3*i - c. Let m be 14 + -18 - i*8. Which is smaller: m or -11?
m
Let l(c) = -5*c + 4. Let b(j) = -2*j + 2. Let k(i) = -5*b(i) + 3*l(i). Let z be k(-2). Let v(q) = 2*q**2 + 12*q - 3. Let n be v(-7). Which is greater: z or n?
z
Let o = -9734 - -28777/3. Is o greater than -141?
False
Let r = -105952 - -460149534/4343. Let n = r + -52042/160691. Is 0 >= n?
True
Let d = 1028 + -1442. Which is smaller: d or -415?
-415
Let n = 19.5 + -19.57. Which is smaller: -11 or n?
-11
Suppose 2*w = 5*j + 2, -5*w - j + 2*j = -28. Let c be (-18)/(-12)*8/w. Let v(i) = -2*i**2 - 17*i - 7. Let u be v(-8). Is c equal to u?
False
Let k = 5.359 - 5.4. Let y = -2.959 + k. Is y less than -1/3?
True
Suppose 0*v + 4*v = 12. Let a be 1/2*(4 - -62). Let f = a - 29. Does v = f?
False
Let r(t) = -t**3 + t**2 + 1. Let w(g) = 6*g**3 - 3*g**2 - 2*g - 2. Let v(c) = 5*r(c) + w(c). Let f be v(-3). Let k = 5058 + -5059. Are f and k nonequal?
True
Let n = -0.865 - 0.135. Let c be 77/38 + 8/(-4). Let j = -55/76 - c. Which is smaller: n or j?
n
Let a = -136.913 + 137. Let p = a + -0.087. Suppose -40 = -0*i - 5*i. Which is greater: p or i?
i
Suppose -c + 5*p - 83 = -3*c, 3*p - 129 = -3*c. Suppose -3*n - 31 = c. Let v = 20 + n. Which is smaller: v or -1?
v
Let t = -127/8 - -21201/1336. Let s = t + 302/22545. Which is greater: 1 or s?
1
Let f be 26/(-8)*(5 - -7). Which is smaller: -36 or f?
f
Suppose 0*y - 16 = -4*a + 3*y, 3*a - 11 = 2*y. Which is smaller: 2/3365 or a?
2/3365
Suppose 4*s - 1859 = -5*h + 911, 0 = 3*h + s - 1669. Which is greater: 559 or h?
559
Let a be 6 + (-1)/2*14. Which is bigger: -2/7 or a?
-2/7
Let a(i) = -i**3 - 25*i**2 + 56*i + 53. Let w be a(-27). Which is greater: -9/103 or w?
-9/103
Let y = 2548/110231 + -6/911. Is 5/4 >= y?
True
Let n = -120 - -132. Suppose 0 = -4*d - 4*x - 24 - n, -d + 1 = -4*x. Are -5 and d unequal?
True
Let w = -4.69 - 0.31. Let v = -4.7 - w. Is -0.3 at most v?
True
Suppose 0 = 5*f + 124 - 59. Let h = -17.5 + 13.5. Is f > h?
False
Let q = 398 + -372. Which is smaller: q or 0.7?
0.7
Let o = 1521 + -2698. Let z = 52963/45 + o. Let r(i) = -3*i - 47. Let d be r(-16). Is d >= z?
True
Let m = 351/7 + -3462/77. Which is smaller: 5 or m?
5
Let b be (-1 - 1/(-2))/(3/6). Let y be (-4 - -1) + 5 + b. Which is bigger: 2/27 or y?
y
Let u(j) = j + 11. Let n be u(-11). Let i = 4 - -2. Suppose i*a - 9*a + 12 = n. Which is bigger: 1 or a?
a
Let w be (-69520)/(-1975) + 8/10. Suppose 35 = 4*l - 109. Is l at most w?
True
Let k = -13.3 + 50.3. Is k at most -5?
False
Suppose 91*a - 89*a + 48 = 0. Which is bigger: -25 or a?
a
Suppose 0 = 3*a - 3 - 24. Suppose -2*r + a = r. Suppose -4*s + r*s = -10. Is 10 greater than s?
False
Let n(i) = i**2 + 13*i + 40. Let r be n(-10). Is r equal to -2?
False
Let n = -9635/33 - -292. Let w be 1/(-10) - 8/(-16). Is n at most as big as w?
True
Let v = -2 - -7. Suppose -2*y - 8 = 0, -2*r - 2*y + 12 = 70. Let t be (-9)/v + (-5)/r. Is -3 <= t?
True
Let l be (3 - -3)/36*1. Suppose -4 = 4*s - 0. Is l bigger than s?
True
Suppose 7*c - 5*c = 2. Which is bigger: -4/59 or c?
c
Let j(n) = -n**3 - 14*n**2 - 12*n - 31. Let c be j(-12). Is c at most as big as -177?
False
Let i be (-22)/((-5)/(10/(-2))). Which is smaller: 0.9 or i?
i
Let f(k) = -k - 10. Let u be f(-7). Let i be u*(-3)/9 + 8. Let x(p) = -p**2 + 6*p + 24. Let g be x(8). Which is greater: i or g?
i
Suppose -2*t = 3*m + 195, -12*t - 325 = 5*m - 10*t. Which is smaller: m or -68?
-68
Let s(y) = -5*y**2 - 27*y - 25. Let v be s(-5). Which is greater: 4 or v?
4
Let r(m) = -2*m - 12. Suppose -4*s - 15 = 5. Let v be r(s). Which is smaller: v or -10/3?
-10/3
Let g = 271 + -299. Which is bigger: -23 or g?
-23
Let x = 8 - 16. Let t = -1.66 + 0.66. Which is smaller: x or t?
x
Let z be 0 + (-220)/76 + (-2 - -5). Which is greater: z or 2/27?
z
Suppose 1 = -t + 6, 2*r = -5*t + 35. Suppose -r*b = 2*z + 3*z - 50, 2*z - 3*b = 0. Let c be (6/(-8))/((-15)/90). Which is smaller: z or c?
c
Let p be 322/(-414) - (-2)/(-9). Which is greater: -156 or p?
p
Let i be 90/29*-3*1/(-9). Which is greater: 1 or i?
i
Let c = -10659 + 4956437/465. Is c at least -1?
True
Let z be 44/374 + (-6190)/17. Let j be 1/(-2) - 6553/(-18). Let o = z + j. Which is bigger: o or 