
g
Let r = 278 - 143. Is r not equal to 137?
True
Suppose 3*g - 385 = 59. Is -0.1 equal to g?
False
Suppose 0 = -2*a - 2*n + 14, -12 + 28 = 4*n. Let t(i) = 2*i. Let j be t(a). Suppose -43 = -5*x + o, -3*x + 2*x = -3*o - 17. Does x = j?
False
Let w be -1*(2 - 3 - -1). Let f = -72 - -291/4. Which is greater: w or f?
f
Suppose 0*c - 2*c = -24. Let m = 6 - c. Let o = 4 + m. Is o not equal to -2?
False
Let u = 15.6 - 112.6. Let o = 95 + u. Is -65 less than or equal to o?
True
Suppose -3*i - 2*p = -2, -5*i + p = 4*p - 3. Is i smaller than 27/20?
True
Let t(o) = o + 10. Let q be t(-14). Let p be q/(-8)*(-4)/46. Is p at most 1?
True
Let z(x) = x**3 - 4*x**2 - 7*x + 9. Let w be z(5). Which is smaller: w or 2/63?
w
Let o = 5 - 12. Let s = -1.26 + 1.6. Let f = -1.34 + s. Is f at least as big as o?
True
Let w be ((-6)/24*-6)/((-9)/6). Which is greater: 2/1385 or w?
2/1385
Let q(j) = -4*j - 10. Let a be q(-4). Let t be (-32)/(-24)*a/4. Suppose -2*n - 4 = 2*d, 12 = -t*d - d. Is n > 5?
False
Suppose -5*a = -109 - 31. Let v = a + -31. Is -3 less than or equal to v?
True
Let z = 1242 - 1237. Which is greater: -2/15 or z?
z
Let l(b) = 12*b**2 - b - 1. Let n be l(-1). Let s be n/(-5) + 4/10. Let z = -1001 - -1002. Is s less than z?
True
Suppose -v = 0, -5*v = -47*f + 51*f - 12. Let s = 1 + -2. Let d = f - s. Which is smaller: d or 7/2?
7/2
Suppose -118*k = -20*k + 980. Let q = 985 + -3977/4. Which is greater: k or q?
q
Let n = 7 - 4. Let v be (4/(-8))/(2/(-16)). Suppose s - v = 1. Which is bigger: n or s?
s
Let w be 2 - 0 - (-125 - (3 - 2)). Let u be w/(-3) - (-22)/33. Is -41 <= u?
False
Let a = -27.6 + 66.71. Let y = -39 + a. Which is greater: y or 0.1?
y
Let u = -0.262 - 1.738. Is 13/6 < u?
False
Let r = 10.63 - 61.53. Let o = -49 - r. Are 0.1 and o non-equal?
True
Suppose -7*o = -8*o. Suppose o = 3*q - 2 - 10. Suppose -q*d + 6 = 10. Is d smaller than -1/3?
True
Let d be (54/45)/(2/15). Which is smaller: d or 4?
4
Let h = -51 + 67. Let y(o) = o**2 + 3*o + 6. Let c be -9 + 3 + 1 + 0. Let v be y(c). Is v at most h?
True
Let v(m) = 0*m + 2*m**2 + 5*m - 4*m - 4. Let u = -68 + 66. Let q be v(u). Is q at least 0?
True
Suppose f = -17 + 21, 3*f + 486 = -3*u. Is -168 smaller than u?
True
Let k(h) = h**3 - 13*h**2 + 12*h + 1. Let x be k(12). Let z be (x*5)/(16 - 15). Suppose -3*c + 2 = -y, -4*c + 2*c + z*y = 3. Which is smaller: 5 or c?
c
Let v = 81 + -103. Let o(w) = 2*w - 10. Let t be o(-5). Is t at least as big as v?
True
Let a = -0.068 + 69.068. Which is bigger: a or -0.2?
a
Let m = -0.38 - 1.62. Let c = 35 + -34.1. Are c and m equal?
False
Suppose -2*m + 25*m = 0. Is m less than or equal to 2/435?
True
Let c = -40 - -51. Which is greater: c or -2?
c
Let n be (-2)/10 - 20/(1100/(-3091)). Is 64 < n?
False
Let t = -2178133/854 + 5101/2. Is t smaller than 1?
True
Let o be 5/2*3/30*1. Let m(a) be the second derivative of -a**4/12 + 7*a**3/6 + 3*a**2 + 11*a. Let z be m(7). Which is bigger: o or z?
z
Let m be ((-902)/369)/((-29)/(-7) + 1). Let t = 661 + -53543/81. Let n = m + t. Is n at most 0?
True
Let f = -1112 - -1545. Which is smaller: 435 or f?
f
Let u = -0.4 + 17.4. Let n = -17.1 + u. Let h be ((-6)/(-9))/((-88)/12). Is h >= n?
True
Let g = -22 - -20. Let v be (3/8)/(g*(-3)/8). Which is greater: v or -0.12?
v
Let a = 50272/49 - 1026. Which is smaller: a or 2/3?
a
Suppose 3*x - 2*x = -4*h + 15, -x = -4*h + 9. Suppose -3*n + 141 = -0*d - x*d, 3*n - 4*d - 137 = 0. Which is smaller: n or 50?
50
Let g = 14/3 - 88/15. Which is smaller: g or -0.17?
g
Let p = -3 - -6. Suppose -3*d = m + 427, -m + d - 427 = -p*d. Let h = -833/2 - m. Is 11 greater than h?
True
Let f be (-82)/(-5) - 4/10. Suppose 3 - 1 = v - 3*g, 59 = 4*v + 5*g. Let w be v + 3 + 4 + -3. Is f greater than w?
True
Let t be (-1)/6*(-6)/(-4). Suppose 3*m - 2*r = 3, -m + r - 3 = -r. Let j be 2/m + 0/(-5). Which is bigger: j or t?
j
Let d = -2/50403 + 35382920/352821. Is d smaller than 101?
True
Let g = 530599/3339 - -116/371. Let q = g - 159. Which is bigger: 1 or q?
1
Let n(c) = c**2 - 22*c + 31. Let j be n(21). Let g be (-32)/j - 20/25. Which is smaller: g or -3?
g
Suppose -8*a = 3*a. Suppose a = -4*v + 9*v - 35. Let i(x) = 4*x - 4. Let g be i(3). Which is smaller: g or v?
v
Suppose 12*c + 90 = 15*c. Let j be (-32)/c - (1 + -2). Let n be 0/(0 + -1 + -1). Which is greater: n or j?
n
Let q be 358/35 + 148/(-185). Which is smaller: 10 or q?
q
Suppose -2*k + 16 + 25 = -a, -3*a + 2*k - 115 = 0. Let w = a + 36. Is w less than -4/49?
True
Let s = -149 - -161.3. Let k = 2 - -11. Let z = s - k. Which is smaller: z or 0?
z
Let z be -106 - -113 - 2090/296. Is z smaller than 0?
True
Suppose 0 = -c - 3*d - 7, 4*c + d - 4 = 12. Is c less than or equal to -2?
False
Suppose -7*r + 110 = -2*r. Let n = -18 + r. Let a be (6/4)/(n/(-48)). Is a < -18?
False
Let n = 388/697 + -18/41. Suppose 0 = -4*d - 2*l - 8, d + 7 = 4*d - 5*l. Which is bigger: n or d?
n
Let o = 42 + -41.77. Let w = o + 0.01. Let m = w - 0.3. Are 0 and m equal?
False
Suppose 38*u - 31*u = 0. Let s be ((-12)/14)/(1/(-7)). Let c be ((-8)/s)/((-14)/(-6)). Do u and c have the same value?
False
Suppose 4*y + 5 = 3*i, 8 - 1 = 4*y + i. Suppose -5*g = -1 - 24, -2*o - g = -11. Let k be (o - 2)*(y - 1). Which is smaller: 2/7 or k?
k
Let y be -4 - (2 + (-75)/10). Is y >= 3?
False
Let n be 1/5 + (-259)/420. Suppose 2*r = 8*r. Is n <= r?
True
Let r be 51 + (3 - 1) + 0. Suppose a - 3*a - 3*g + r = 0, -28 = -a - 3*g. Which is greater: a or 27?
27
Let j = -3.4 - -4.01. Let i = j + -2.61. Let z = 0.1 + -0.2. Is z at most i?
False
Suppose 87*v = 85*v - 348. Which is smaller: v or -172?
v
Let n(m) = -6*m**2 + 2*m - 8. Let q be n(5). Is -148 not equal to q?
False
Let j be (-8 + (-2864)/(-360))/((-1)/10). Suppose -5*f = -0*f + 5*w - 40, -1 = -2*f + 3*w. Suppose -d - 7 = 2*a, 0*a = -f*a + d. Is j not equal to a?
True
Suppose -6*g + 18 = -3*g. Let d be 8*(-4 - (-21)/g). Which is smaller: d or 0?
d
Let f(l) = -10*l**2 + l + 1. Let n(h) = -h**2 + 6*h - 7. Let x be n(4). Let c be f(x). Which is bigger: -20/3 or c?
-20/3
Let q(l) = -l**2 - 2*l + 14. Let v be q(0). Let r be 2/((-22)/31) - -3. Which is smaller: v or r?
r
Suppose -3*u - 3*k = -2*u - 4, 4*u - 1 = 3*k. Let z(i) = -7*i + 19. Let c be z(9). Let x be 8/c - (-75)/(-11). Which is greater: u or x?
u
Let a(r) = 15 + 12*r + r - r**2 - 6*r. Let k be a(7). Let b be 30/25*k/6. Are 1 and b nonequal?
True
Let d = -61 - -62.38. Let r = d + -0.38. Is r greater than 8?
False
Let n = 37 + -42. Let x be -3 + -1 + 1 - n. Which is greater: x or 3?
3
Let w = 613 - 613.2. Is 116 > w?
True
Let a(i) = i - 14. Let d be a(19). Suppose 8 = d*x + 88. Let s(u) = -u**2 - 6*u - 9. Let h be s(-7). Is h greater than or equal to x?
True
Let g = -72 - -78. Which is greater: 4 or g?
g
Let k = 357 + -351. Which is bigger: k or -4?
k
Let a = 0.131 - -0.069. Which is greater: a or 42/13?
42/13
Let h = -6619/26202 + -14/397. Which is greater: h or 1?
1
Suppose 30 - 9 = 3*y - 3*a, 0 = -3*a - 3. Which is greater: -36 or y?
y
Let f = -4894 + 1708004/349. Which is smaller: f or -1?
-1
Let h be (-654)/(-9) - (-2)/(-3). Let k(x) = -42*x + 199. Let m be k(3). Which is bigger: m or h?
m
Let z = -577 - -638.1. Let w = z - 61. Is w greater than or equal to 3/5?
False
Let k = 443 - 252. Which is bigger: 193 or k?
193
Let q be 0*((-5)/2 + 2). Suppose q = 4*u - 8, -p = -3*p + 4*u + 2. Let o be 5*(p - 2 - 2). Is 0 at least as big as o?
False
Let y = 23.78 + -14.91. Let b = 9.1 - y. Which is smaller: b or 1?
b
Let x = 3 - 3.08. Let h = -0.0505 - -4.0505. Are h and x unequal?
True
Let k(z) = -z**3 + 2*z**2 + 2*z - 2. Let b be k(4). Suppose 0 = -15*g - 89 - 301. Are b and g non-equal?
False
Let d = -399 + 399. Which is smaller: d or 348?
d
Suppose 350 = -2*p - 66. Suppose x - 17 = -4*a, a = -3*x - 2*a + 33. Let l be (-124)/p + x/(-12). Do l and -1 have the same value?
False
Let g = 31 - 47. Let z(k) = -2*k**3 + k**2 - 3*k + 5. Let s be z(2). Which is smaller: g or s?
g
Let x(v) = -26*v + 153. Let r be x(6). Which is smaller: 4 or r?
r
Let j(s) = -5*s - 28. Let x be j(-6). Suppose -x*c - 8*c = 10. Which is smaller: c or 2/87?
c
Let p(g) = -119*g - 805. Let d be p(-7). Let f = 65 - 38. Is f greater than d?
False
Let b = -0.8 - 0.2. Let j = 0.4478 + -39.4478. Which is bigger: j or b?