3194 - -0.03806. Let j = c + -47. Which is smaller: -0.1 or j?
j
Let y = 1357 - 1460. Which is greater: -3 or y?
-3
Let b = 39 + -57. Let c(k) = -8*k - 12. Let p be c(-8). Let x = 33 - p. Which is greater: x or b?
b
Let p = 1428 - 1350. Is p bigger than -4?
True
Let r(y) = y**2 + 7*y + 5. Let c be r(-6). Let s(j) = j**2 + 3*j - 2. Let x be s(1). Suppose 2*t + x = 0, 5*i - t = -0*t + 6. Which is greater: c or i?
i
Suppose -h - 21 + 43 = 0. Is h at least 15?
True
Let a = 82 + -80. Which is bigger: 4 or a?
4
Let d(g) = g + 7. Let q(n) = -n + 1. Let j(m) = d(m) - 6*q(m). Let b(z) = 20*z + 4. Let c(w) = -6*b(w) + 17*j(w). Let p be c(-9). Which is greater: p or 3?
3
Let t = 51.024 + -0.024. Let n = -50 + t. Is n greater than 18?
False
Let o = -281 + 261. Are -4.9 and o non-equal?
True
Let u = 0.6205 - 3.5515. Let j = u - 0.069. Which is smaller: -8/5 or j?
j
Let a(m) = -m**3 - 17*m**2 - 15*m + 16. Let p be a(-16). Which is smaller: -1/818 or p?
-1/818
Suppose -4*p + 22 = 6. Let a(b) = -b + 1. Let k be a(-3). Suppose 2*y - d - k*d = -3, -2*d - 2 = -4*y. Is y bigger than p?
False
Let g = 0.2 - 0. Let u = -5.11 + 0.11. Let w = u + 8. Which is greater: w or g?
w
Suppose -4 = t - 2*t. Suppose t*c - 24 = c. Suppose -2*r = 4*x + c, -5*r = 5*x - 0*r + 20. Which is smaller: x or -4/7?
-4/7
Let c be 3/(-2)*-10*6/(-3630). Which is smaller: c or 0?
c
Let l = -135 - -140. Suppose -2*v + 4*z = -6*v + 12, -l*z + 17 = 3*v. Is -1/26 bigger than v?
True
Let z be (((-944)/(-492) - 1) + -1)*3. Which is smaller: -1 or z?
-1
Let m = 78 - 112. Let a = m - -12. Let o = -19 - a. Is 3 smaller than o?
False
Let f = 29.7 - 29.8. Which is smaller: f or 31?
f
Let i(g) = -2*g**2 - 9*g + 14. Let y be i(2). Which is smaller: -11 or y?
y
Let w(j) = -j + 7. Let d be w(9). Let t be (38/(-4))/(1/d). Let k = -135 + 136. Is k greater than t?
False
Let p = 3 + -5. Let x = 53 - 45. Suppose 4*a = -0*a - x. Is a <= p?
True
Suppose -3*c + 7*c = 164. Is c != 44?
True
Let s be ((-63)/(-3801))/((-132)/(-8)). Which is smaller: s or -1?
-1
Let j be 832/440 + (-8)/10. Let w(b) = b**2 + b + 1. Let l be w(-1). Which is bigger: j or l?
j
Let g = 0 - 4. Let x = g + 4. Let v be ((-8)/20)/(8/(-10)). Is v > x?
True
Let c = 541 - 541. Which is bigger: c or 121?
121
Let f be (-14)/2 - 243760/(-34800). Which is smaller: 0 or f?
0
Suppose -a - i + 3 = 0, 0*i = i + 1. Suppose -29 = -5*u - a. Suppose -m - 30 = -6*m - 5*n, -2*n - 2 = -u*m. Which is bigger: 3/4 or m?
m
Suppose 3*z + 2*s + 1 = 11, 3*z - s - 22 = 0. Let j be (-2 + 7 - z)*(-6 + -1). Suppose -4*b + 3*b + 7 = 0. Is j greater than b?
False
Suppose -k + 3 - 2 = -2*q, 2*q + 34 = 4*k. Let u = -11 + k. Is 10/7 greater than or equal to u?
True
Let c = 1170 + -1175.09. Let f = -5.046 - -0.046. Let a = c - f. Is 1/5 at least a?
True
Let v be -2 + -12 + 8 + 6/2. Which is smaller: -11/3 or v?
-11/3
Suppose 0 = 3*p - 3*w - 14 - 19, 4*w = 3*p - 28. Which is bigger: 12 or p?
p
Let f = 2921/4902 + -28/57. Let j = 170/1419 - f. Is -1 < j?
True
Suppose 0 = u + 3*u. Let j be -2 + 3 - 4 - -3. Let a(h) = h**3 + 2*h**2 - 2*h + 1. Let z be a(j). Which is smaller: u or z?
u
Suppose -15 = -4*u - u. Suppose -u*j = 59 - 35. Is j <= -5?
True
Let m = 6785/19 + -357. Let j(v) = 9*v + 40. Let b(x) = -3*x - 13. Let a(q) = 7*b(q) + 2*j(q). Let h be a(-4). Is h < m?
False
Suppose d = 3*d. Let y be d*(-1 - -2)/(-1). Which is bigger: y or -1?
y
Let r be ((15 - 9)*1/54)/(1/3). Let q = -1 + 0.9. Let u = q + 0.1. Which is greater: r or u?
r
Suppose -7*c - c + 1416 = 0. Are 177 and c unequal?
False
Suppose 0 = 3*z + 6*z - 9. Let d be (-117)/(-58) - (-2 - -4). Let v = -51/406 - d. Is v != z?
True
Suppose -2*h - 4 = 4*r, -1 + 6 = -5*r - 2*h. Suppose 0 = -c - 0*c - 6. Let m be (c/66)/((-1)/(-1)). Is r less than m?
True
Let o = -780 - -205. Which is bigger: o or -576?
o
Let h be (-19464)/645 - (-12)/(-30). Let c = h + 153/5. Is c smaller than 1?
True
Let p = -48/77 - -10/11. Let w be (15/(-6))/(-5)*4. Suppose 2*h + w*l = 0, -4*h - 1 = 4*l - l. Is h equal to p?
False
Let g be (4/6)/((-1262)/6). Which is bigger: 0 or g?
0
Suppose -33 = -11*k + 8*k. Suppose -6*d + k = 5*d. Which is smaller: 3 or d?
d
Let l(o) = 2*o**2 + 52*o + 239. Let p be l(-20). Is p >= 4/645?
False
Let w = 5.2 + -10.4. Let v = w + 5. Let r = -0.3 - v. Which is bigger: r or -0.08?
-0.08
Let d = 13 + -52. Let l be 252/(-108) + (0 - -2). Which is greater: l or d?
l
Let s = -146/105 + -17/21. Let i = s + 28/15. Which is bigger: -1 or i?
i
Let b(f) = -2*f**2 + 18*f + 37. Let w be b(11). Let y(h) = h**3 + 3*h**2 - 3*h - 6. Let s be y(-4). Let n = s + w. Are n and -17 nonequal?
False
Let m = 4.94 - -0.06. Do 26 and m have different values?
True
Let r = 4/1663 - -56514/11641. Let m(o) = -20*o + 145. Let z be m(7). Which is smaller: z or r?
r
Let d = -0.71 + -25.29. Let m = -0.1 + 0. Is d < m?
True
Let h = 13.5 + -27.2. Let k = h + -1.3. Let j = -15.5 - k. Is j equal to 3?
False
Let u = 43 + 110. Does u = 153?
True
Let b = -0.06 + -0.94. Let w = 47.34 - 40.4. Let r = 7 - w. Is b less than or equal to r?
True
Let d(m) = 4*m + 10. Let k be d(9). Suppose -k = -4*f - 2*z, 15 = -4*f - 3*z + 62. Suppose 0 = 2*r - 4*r + 24. Is r >= f?
True
Let f be (3/5)/((-16)/10). Let c be 3*(-98)/144 - 6/(-6). Let r = c - f. Which is smaller: -0.1 or r?
r
Let i = -75 - -283. Let n = i + -92. Does n = 115?
False
Let x be (-338)/39 - 2/(-3). Let t be (1*x/130)/((-2)/(-20)). Which is smaller: t or 0?
t
Let d = 121/6 + -19. Suppose 3*p - 3*f + 10 = p, -p = -3*f + 8. Which is smaller: d or p?
p
Suppose 417*x = 406*x + 11. Which is greater: x or 2/45?
x
Let r = 10/7 - 11/7. Let o be -4 + -3 + 9 - 16/7. Which is bigger: r or o?
r
Let r(k) = -2 + 0 - k + 2*k - 2*k. Let t be r(3). Let s be 4/(-5)*t/(-3). Which is greater: -1 or s?
-1
Let m be 0/(-4) + (4/2 - 62). Let j be ((-2)/(-4))/(5/m). Let t(o) = -o**2 - 10*o - 6. Let i be t(-10). Is j bigger than i?
False
Suppose -4*o + 22*s + 40 = 17*s, -5*o + s + 50 = 0. Which is greater: 17 or o?
17
Let s(r) = 2*r**2 + 17*r + 40. Let q be s(-8). Suppose h + 3*d - 17 = 0, 0*h + h + d - 7 = 0. Let o be h/11 - q/(-66). Which is greater: o or 1/11?
o
Let f be 1/(-10)*-3*10/(-8). Which is smaller: 24 or f?
f
Let s be -2 + -22 + 1 - (-4)/(-2). Which is greater: s or -24?
-24
Let o = 90.5 - 85. Let j = -5.7 + o. Is j < -7/5?
False
Let j(x) = 3*x**2 + 2. Let v be j(2). Let y be ((-3)/6)/(v/(-100)). Is 5 not equal to y?
True
Let j be 2/(-2)*(8 + -13). Let c be -13*(-1)/(-25)*j. Which is bigger: -3 or c?
c
Let d be (-8)/(-52) - (-5464)/(-26). Let h = d - -1267/6. Which is smaller: h or 2?
h
Let b be (-4)/39*36/24. Is b less than or equal to 0?
True
Let a be 56/70*10/4. Suppose 0 = 3*o + 2*u - a, -u + 8 = 3*o + 2*o. Let g be 0 - -5 - (2 + o). Which is smaller: g or -3/10?
-3/10
Let z(b) = 6*b + 25. Let y be z(-10). Let j be 10/y*(10/(-4) + 2). Suppose 0 = o + 4*o. Which is bigger: o or j?
j
Let q be (-9)/(-2)*28/(-6). Let y = q + 4. Let l = y - -17. Which is smaller: l or -2/31?
-2/31
Let x be 100/(-30)*(-6)/5. Suppose -3*k + x*p = -12, -16 = -4*k - p - 4*p. Suppose -4*m - 10 = 2*z, -10 = 5*z + m + k*m. Is z less than 0?
False
Let o = 50.5 - 54.5. Let v = -0.04 + -0.02. Which is bigger: v or o?
v
Let s = 29 + -29.26. Let p = s + 0.3. Let h = p + 0.06. Are 3 and h equal?
False
Let g(h) = 5*h**2 - 4*h - 28. Let o be g(6). Which is smaller: o or 127?
127
Let f = 0.027 - 134.027. Let l = f - -136. Which is greater: l or 0.2?
l
Suppose -j + 0*j = -15. Let b = 29 + -15. Is j bigger than b?
True
Suppose 4*f + 11 = 3*j - f, 5*j + 3*f = 7. Let b = j - 2. Suppose 2*w - 3 - 1 = b. Is -1 > w?
False
Let j be 1 - (-105)/20 - 6. Let d = -1.02 + 1. Do j and d have the same value?
False
Suppose 17*u + 4*u = -273. Which is bigger: u or -3?
-3
Let v = -491 + 440. Is v not equal to -51?
False
Let q be (7/2 - 3)*0. Suppose q = -5*x - 5. Which is bigger: x or -19?
x
Let m(i) = 2*i**3 + 10*i**2 - i - 14. Let v be m(-5). Let q = -5 - 7. Which is greater: v or q?
v
Let l(a) = 2*a**2 - 22*a - 19. Suppose -58 = -4*d + 2*x, 3*d + 4 = -5*x + 15. Let n be l(d). Let p be (-1)/3 - (-5)/6. Is n bigger than p?
True
Let w = -11 + 24. Let r = -9 + w. Let u = -3.8 + r. Is 1 equal to u?
False
Let u be (-4)/24*20 + (-4)/(-3). Which is greater: u or 0.03?
0.03
Suppo