 Is -14 at most r?
False
Suppose -p = -3*y + 6, 30 = 4*p + 2*y - 2. Which is bigger: p or 8?
8
Let q(m) = -m**2 - 44*m - 329. Let o be q(-12). Is 335/6 smaller than o?
False
Let q = 127/84 - 1/84. Which is greater: 35 or q?
35
Suppose -7*g - 33 = 26*g. Which is bigger: -1/644 or g?
-1/644
Let f(b) = -b + 4. Let h(l) = -l + 5. Let o(r) = 3*f(r) - 2*h(r). Suppose -7*n + 10 = -2*n. Let y be o(n). Which is smaller: y or 1/5?
y
Let r = 445 - 432. Which is smaller: r or 0?
0
Let h be (-108)/(-14) - (-136)/(-17). Is h < 34/15?
True
Suppose 2*g + 2*g = 0. Suppose -13*v = -2*v - 4851. Let q be (3/(-20))/((v/(-56))/(-7)). Which is smaller: g or q?
q
Suppose u - 31 = -5*f - 3*u, 21 = 3*f + 3*u. Suppose f*m + 2*m + 60 = 0. Is m smaller than -12?
False
Let m be (6/26)/(-14 - -15). Let q be (-6)/(-10) - (-2)/5. Is m at most as big as q?
True
Let s(w) = -5*w - 2. Let l be s(-2). Let u = 83 + -74. Is u less than or equal to l?
False
Let k(m) = -7*m**2 - 6*m - 19. Let q(i) = -i**2 + i. Let c(h) = k(h) - 6*q(h). Let b be c(-10). Which is greater: b or -4?
b
Let j(v) = -3*v + 52. Let y be (-2)/(-8) - (335/4)/(-5). Let m be j(y). Is m less than or equal to 1?
True
Let p = 137.62 + -0.62. Are p and -1 nonequal?
True
Let q = 0.02 + 4.18. Let p = 8.2 - q. Which is smaller: p or -3?
-3
Let k be 10*20/(-15)*1. Let v = k - -12. Which is smaller: -2 or v?
-2
Let j be -1*(2 - (-16)/(-4)). Suppose 2*f + w = 5, 11 = 5*f + 3*w - j. Is f >= 0?
True
Let c(s) = -s**3 + 2*s**2 - 3*s + 2. Let o be c(2). Let x(g) = -3*g - 8. Let d be x(o). Is d at least 2?
True
Let w(t) = -10*t - 37. Let d be w(-4). Let b be -8*(42/(-8))/d. Are b and 7 unequal?
True
Suppose 0 = 5*v + o + 996, 394 = -2*v + o + 3*o. Are v and -203 unequal?
True
Let p = -12233/2247 - -5/321. Let t = -18200/27291 + 2/9097. Is p > t?
False
Let p(q) = q**2 + 5*q + 1. Let t be p(-5). Let b = 2834/21 - 404/3. Which is bigger: b or t?
t
Let y = -0.607 - -0.077. Let l = y + -2.47. Is l >= 0.4?
False
Suppose 5*w = -0*w - 5. Is 151 at least as big as w?
True
Let r = -21 + 32. Let l(a) = a**2 - 9*a - 16. Let o be l(r). Let g be (4/o)/((-3)/9). Do -7/5 and g have different values?
True
Suppose -62 = -5*u + 58. Let v be ((-2)/(-16)*6)/((-279)/u). Let a = -4 - -3. Is v != a?
True
Suppose 0*r + 3 = -3*r - 3*t, 3 = -3*t. Suppose r = -2*f - 0*f - 4. Let c be (-2 - 4/(-2))/(80 + -81). Which is smaller: c or f?
f
Suppose -3*d = -99 + 15. Which is smaller: d or 27?
27
Let r = -2 - -59. Suppose 2*h + 2*h = 3*l - 45, -5*h + 3*l - r = 0. Is -12 > h?
False
Let w be (3/12)/(2/(-8)) - 4. Let m = -24 - -15. Is m equal to w?
False
Let g = 722 - 694. Is g >= 12?
True
Let w = -113 + 187. Let f = 74.14 - w. Do 0 and f have the same value?
False
Let x = 1615/8 - 201. Which is bigger: 1 or x?
1
Let z(f) = -f**3 + 9*f**2 - 5*f - 5. Let o be z(8). Suppose o*y = 14*y + 115. Let m = 19 - y. Is m < -5?
False
Suppose 0 = 2*b + 3*o - 9, o - 6 = -b - o. Let p be ((-1)/(-2))/(65/60). Is p not equal to b?
True
Let w(q) = -q + 71. Let n be w(4). Does n = 67?
True
Let t = -1301/17251 - 2/1327. Suppose 0*m - 4 = 4*m. Which is bigger: m or t?
t
Let a(g) = g - 4. Let v be a(7). Let r be (-2 - -2)*1/v. Is r smaller than 4/3?
True
Suppose -2*u = -3 + 5. Suppose -2045 = -5*l + 4*m, 2*l - 4*m + 2*m - 818 = 0. Let k = l - 12677/31. Is k greater than u?
True
Let t = -415 - -407. Is -96/13 equal to t?
False
Let f = -1.12 + 0.12. Let o = -197 + 409/2. Which is smaller: o or f?
f
Suppose 9*p - 8 = 13*p. Let j be 4 - (12 - (1 - p)). Which is bigger: -32/5 or j?
j
Suppose -5*h - 5 = -5*l, -22*l = 5*h - 25*l + 9. Are -473 and h unequal?
True
Let a = -13.18 + 109.18. Which is smaller: 2/11 or a?
2/11
Suppose y - 10 = -8. Let q be y - (4 + (-28)/6). Which is greater: 4 or q?
4
Let c = -17 - 24. Is c less than -81/2?
True
Let o = 666 + -666.04. Let t = 0.25 + -0.05. Let v = -0.2 + t. Which is greater: o or v?
v
Let w = 3173401/607 + -5228. Is 0 greater than w?
False
Let v = 1455 + -72753/50. Is v equal to 0?
False
Let w be (-6)/33 - (-237)/33. Let h = 24 - w. Which is smaller: 15 or h?
15
Let p = -469 - -481. Let m be 8/(-20) - 2/20. Which is greater: m or p?
p
Let n be 8/(-40)*(-15)/6. Let o = -0.94 - -1.1. Let s = o - 0.86. Is s smaller than n?
True
Suppose -39 + 12 = -q. Suppose -k + 4*k = -q. Let p be (-4)/k*9/24. Which is smaller: -0.2 or p?
-0.2
Suppose 10*z - 9 = -69. Let w be ((-5)/12)/(1/14). Which is smaller: z or w?
z
Let t = 1573 - 2257. Do t and 1/2 have the same value?
False
Suppose -2*p + 1 = 3*m - 4*p, 0 = -p - 2. Which is greater: 1/40 or m?
1/40
Suppose 809 = 2*s + 5*k, 598 + 606 = 3*s - 2*k. Which is smaller: s or -1/3?
-1/3
Let z be (229/78 + -3)*(-6)/(-100). Which is bigger: -1 or z?
z
Let d(h) = h**3 - 13*h**2 + 2*h - 6. Let u be d(13). Suppose 5*r - r = u. Suppose -r = -j - 10. Which is bigger: j or -7/2?
-7/2
Let m = 131 + -136. Let s = 310 + -2200/7. Is s at least m?
True
Let m(g) = -g**2 + 12*g - 5. Let s be m(11). Suppose -s = 5*n + 4. Let z be (-3 - n)*(0 + -1). Which is smaller: z or -1/5?
-1/5
Let k = -2.3 - -4.7. Let t = k - 2.7. Which is greater: t or -0.4?
t
Let n = 0.1 + -2.3. Let s = 1.51 - 4.71. Let v = s - n. Is v <= 0.13?
True
Let k be (-4 - (-1 + -1)) + (-21)/(-9). Is k smaller than 18?
True
Let w = 68 + -112. Let p be (-40)/6*(-2 + (-76)/w). Which is bigger: 3 or p?
3
Let d be (2 - 219/(-5)) + 4. Let l = d - 12679/255. Which is smaller: l or 1?
l
Suppose -30 = -8*c - 302. Which is greater: -35 or c?
c
Let g = -98.222 - -0.222. Let m = 112 + g. Let j = -0.2 + 0.1. Is m <= j?
False
Let i be (-2 - 65/(-34))*24/2484. Which is smaller: -1 or i?
-1
Suppose 0 = 75*q - 57*q + 36. Is -50 > q?
False
Let z(l) = 23*l**2 - 3*l - 2. Let v be z(-2). Let s = -98 + v. Which is greater: 2.3 or s?
2.3
Suppose -3*v - 3*p + 3 = -0*v, 4*p - 4 = 5*v. Let i = 78 + -6164/79. Are i and v non-equal?
True
Suppose -17*n = 64 + 89. Let h be (3*-1)/(7 - (-5 - n)). Let m be (-102)/45 - 2/(-3). Which is smaller: m or h?
m
Let f be -3 + (0 - -6) - 33. Let t = f - -89/3. Which is greater: t or 0.03?
0.03
Let i be (-9)/(-2)*(-8)/(-72). Is -65 at most i?
True
Suppose 2*u - b - 18 = u, 2*b = 3*u - 53. Is 1 >= u?
False
Suppose -11 = 4*j + 5. Let u = -28 + 28. Is j equal to u?
False
Let b be 4/(-10) + 981/(-10). Let a = 96 + b. Let h = -0.0297 + -0.0703. Which is greater: h or a?
h
Let h = -61 + 40. Let i be 6/h - 8/(-24). Which is bigger: 0 or i?
i
Let w = -296/1991 - 6/181. Is 1 > w?
True
Let w(t) = 2*t - 28. Let q be w(13). Let a(k) = k + 6. Let u be a(-12). Is q smaller than u?
False
Suppose q - 2*j = 1, 18*j - 14*j = -q + 1. Let o = -1 - -1. Is o greater than q?
False
Suppose 0 = 4*w + 4 - 120. Let n = -27 + w. Let o be 5*(-3)/(-6)*n. Is 5 not equal to o?
False
Let p(s) = -10*s + 85. Let h be p(10). Which is smaller: 2/7 or h?
h
Suppose -5*z + 6*h = 2*h - 35, -4*z - 4*h - 8 = 0. Let a(w) = 22 + 5*w**2 - 14 - 8*w - z*w**2 - 3*w**2. Let f be a(-9). Which is greater: 2/19 or f?
2/19
Let c = -64963/9 - -7247. Let p = -28 + c. Is 2 smaller than p?
False
Let x(m) = -3*m - 112. Let i be x(-40). Are i and 0 unequal?
True
Suppose 0 = 38*u + 90 - 52. Which is bigger: u or -1/216?
-1/216
Let m be (26 - 1)/((-5)/(-30)). Suppose -13*y - m = -7*y. Is y at most as big as -25?
True
Let a be (-2)/(-3)*(0 + 15/(-10)). Is a less than 72?
True
Suppose 17 = 4*b + 1. Suppose b*u - 160 = 12*u. Which is greater: -19 or u?
-19
Let q = 1887 + -1838.78. Let r = q + -49. Let d = 0.22 - r. Is -2/11 < d?
True
Let z(t) = -346*t + 58. Let w be z(1). Is w not equal to -286?
True
Let d = 51.048 + -0.048. Let w = d + -86. Let a = w + 33. Is a at least as big as 1?
False
Suppose 15 = 3*d - 3*j, -5 + 1 = 2*j. Let s = 0 + -8. Let u = -5 - s. Are d and u equal?
True
Let u(a) = 9*a**2 - 2*a - 7. Suppose -5*k - 5 = 5*v, -5*k = -2*v + 23 - 4. Let j be u(k). Is j != 79?
True
Let f = 2840 + -2817. Let q(c) = -5*c - 7. Let o be q(-6). Do f and o have the same value?
True
Let s(r) = 9*r**3 + 2*r**2 + r. Let f be s(-1). Let g = 147 - 155. Let q = f - g. Which is greater: q or -2?
q
Let h(q) = -15*q + 30. Let c(r) = -3*r + 6. Let z(a) = -11*c(a) + 2*h(a). Let m be z(6). Suppose -p = 4*w - m, -5*p + w - 2 = 1. Is 0 < p?
False
Let k be 8/(-1660)*(1 + 9). Which is smaller: -1 or k?
-1
Suppose 24 = 4*h + q, -h + 6 + 1