*(-61)/1037. Are -0.1 and d non-equal?
True
Let q be -6 + 10*45/70. Suppose n + 3*y - 23 = 0, 3*n - 29 = -3*y + 2*y. Suppose 0 = -4*c - 4 + n. Which is smaller: c or q?
q
Suppose 5*y + 1110 = -q, 5*q - 694 = -3*y + 6*y. Is -222 != y?
True
Suppose -490*p - 1144 = -501*p. Which is greater: p or 108?
108
Let s = 1.82 - 5.82. Which is smaller: s or -10.2?
-10.2
Let s = -24.241 + 2.241. Is -10/19 not equal to s?
True
Suppose 69*f - 80 = 64*f. Is 2/5 smaller than f?
True
Let b = 2 + -1.5. Let h = 0.887 + -0.687. Is b at most h?
False
Let w(a) = a**3 - 14*a**2 + 10*a + 33. Let u be w(14). Which is greater: u or 178?
178
Let b = 26.687 + 0.013. Let x = b + -25. Let a = x + -1.6. Which is smaller: a or -30?
-30
Let f = -26.55 - 13.45. Do 5 and f have the same value?
False
Let a(x) = -x**3 + 4*x**2 + 2*x - 5. Let t be a(4). Suppose 7*n - 4*f = 3*n + 20, t*f = -5*n - 7. Suppose 0*d = -d - n. Which is greater: d or -2?
d
Let r(l) = l + 5. Let g be r(-3). Suppose 52 - 175 = 3*k. Which is smaller: g or k?
k
Let n = -867 + 1946. Which is smaller: n or 1?
1
Let z(q) = 2*q. Let a(m) = -m**2 - 4*m + 20. Let w(p) = a(p) + 3*z(p). Let d be w(-7). Which is bigger: -42 or d?
-42
Let x = 8.5 - 11. Let b = 0.25 + 1.25. Let w = x + b. Which is bigger: w or 1/7?
1/7
Let h = -589 - -602. Which is greater: h or 12?
h
Let a = -9/17 - 315/272. Is a equal to -3?
False
Let x = -451 + 409. Which is greater: x or -0.4?
-0.4
Suppose 3*q + q - 28 = 0. Suppose -q*g - 63 + 175 = 0. Which is smaller: 15 or g?
15
Let u(s) = -s**3 - 36*s**2 - 37*s - 47. Let k be u(-35). Is k greater than or equal to 23?
True
Let o be -36*8/5*(-6)/(-72). Is o < -6?
False
Suppose 6 = m - 2. Suppose -4*v = 2*g - m, -4*v = 5*g - 19 + 5. Let j be (0 + 2)/(301/(-7)). Which is smaller: v or j?
j
Suppose -678 = -2*t + 1178. Is 929 <= t?
False
Let v = -49/408 + 4/51. Let k = -17/24 - v. Let m be -5 - (-7 + 37)/(-5). Is m smaller than k?
False
Let p = -63 - -71. Suppose 5*f = 2*f + 6. Suppose f*r + p = -22. Which is greater: r or -16?
r
Let m = -390 + 389. Is m < 3/73?
True
Suppose -3*n + 11 = b - n, 5*b - 3*n + 10 = 0. Let c be (12/(-45))/((-1)/(-5) + 1). Which is bigger: c or b?
b
Let w be 4/(-14) - (-80)/(-14). Let i be (4/w)/(-4*(-8)/(-48)). Are i and -2 non-equal?
True
Let v = 242 - 161. Let f be ((-6)/(-4))/((-9)/12). Let j be 12/v*3/f. Which is smaller: j or -1?
-1
Let n be 8/20 + (-17)/5. Let c = -0.977 + -0.023. Which is smaller: c or n?
n
Suppose -5*d - 119 = -y, -5*y + 737 - 222 = -5*d. Is 99 at most as big as y?
True
Let r be ((-8)/(-5 - -1))/(-311). Which is greater: r or 0?
0
Let j(n) = -n**2 + 7*n - 10. Let y be j(5). Suppose 0*c - c = -2*v - 2, 4*c - 4*v - 16 = y. Is 5 greater than c?
False
Suppose 8*m + 1 = 9*m. Let n be 3/m + -6 + 2. Let l be (4/((-32)/(-30)))/n. Is -5 bigger than l?
False
Let h = 475 - 475. Are h and -45/7 non-equal?
True
Suppose -71*u = -66*u + 550. Let z be 1*(-3)/12 + u/8. Which is smaller: z or -3?
z
Let y be ((-135)/(-6))/((-2)/4). Let u = y - -46. Do 8/5 and u have different values?
True
Let u = 74 - 39. Let z be (-3 + 1)/((-10)/u). Is 4 >= z?
False
Let o = -204/319 + 8/29. Let t = 737 + -737. Which is smaller: o or t?
o
Suppose -4*i - 13 = -3*p, p + 5*i + 11 = 3*p. Suppose -9 = -4*f + 4*a + 3, p*a + 13 = 5*f. Suppose -f*n - 5 = -1. Which is greater: -2/3 or n?
-2/3
Let k = 111.1 + -111. Is -19.8 at least k?
False
Let d = -42 - -41. Let a be d + (-35)/(-9) - 3. Is a at most 0?
True
Let f = 0.21 + 41.79. Let s = 30 - f. Is -1/4 at least as big as s?
True
Let g be (3/(1254/(-55)))/(30/24). Let k be (1*-2)/2 - -2. Is g != k?
True
Suppose 3*d - 12 = 0, 2*t + 9 = 4*d - 1. Suppose 20 = 2*f - 4*f + 4*m, 0 = -2*f + t*m - 15. Which is smaller: f or 3/14?
f
Let f = 1394 - 1385. Which is smaller: -31 or f?
-31
Let i be 6/(-6) + (-2056)/(-40). Which is bigger: i or 49?
i
Let f = -0.029 + 2.729. Let q = 2.8 - f. Which is smaller: 0.15 or q?
q
Suppose 11*p - 3*p = 168. Suppose -p*f + 2 = -19*f. Let a be (-1)/2*(-2)/(-27). Which is smaller: a or f?
a
Let q = 50 - 172. Do q and -122 have the same value?
True
Suppose 0 = -4*n + 5*n + 2*s + 4, -2*s - 10 = 4*n. Let u = 22 - 18. Which is smaller: u or n?
n
Let c be 0 + -8 + 0/2. Suppose s = -3*k - 16, -2*s + s = -2*k - 9. Is k <= c?
False
Let c = -4.5 + 1.8. Is -0.5 less than c?
False
Suppose 0 = 2*o + 77 - 205. Suppose -3*z - i + 125 = -z, z - 3*i = 73. Do z and o have the same value?
True
Let j(d) = d**3 - 15*d**2 + d - 2. Let k be j(15). Let i = -13 + k. Suppose -3*v + 2*v + 2 = i. Is 2 smaller than v?
False
Let l = -62 - 8. Is l greater than or equal to -71?
True
Let c(n) = n + 21. Let q be c(-21). Do q and -104 have different values?
True
Let v = 105/206 + -1/103. Let m = 3 + -14. Which is bigger: m or v?
v
Let q be ((-1024)/(-516) - 2)/((-60)/(-36)). Are -1 and q nonequal?
True
Let m = 32.6 + -60.8. Let n = 2.2 + m. Are -1 and n unequal?
True
Suppose -8*p - 7 = -15*p. Which is smaller: p or -3/8?
-3/8
Let u(k) = -3*k**3 - 2*k - 1. Let a be u(-1). Let o be 602/(-49) + a/14. Is -14 >= o?
False
Let x = -43828/5 - -8773. Suppose 5*o - 10 = 30. Which is bigger: o or x?
o
Let l = -5 - -218/43. Let k(c) = -c - 12. Let t be k(-13). Which is bigger: t or l?
t
Suppose 3*r + 3 = -0*r. Let n be 20/(4/r)*-2. Let c = n - 14. Which is smaller: c or -1/5?
c
Let v be 1 - 3/((-642)/(-202)). Let g = 858541113/535 - 1604751. Let a = v + g. Which is smaller: a or -2?
-2
Suppose -m + 4 = -5*u - 0, -3*m = 4*u - 12. Which is smaller: u or 487?
u
Suppose 5*a + l - 4*l - 379 = 0, 4*a = -2*l + 290. Which is smaller: a or 5?
5
Let k = 102 + -948. Is 0.1 at least as big as k?
True
Suppose -2*m - 200 + 18 = 0. Is m smaller than -87?
True
Let k(g) = -g**2 - 38*g + 63. Let x be k(-40). Which is greater: x or -22?
x
Let p(l) = l**2 - 24*l - 183. Let n be p(34). Are 157 and n equal?
True
Let r be (15 + -1)*1/4. Let x(m) = m**3 + m**2 - m - 6. Let v be x(0). Let f be (5/2)/((-3)/v). Is r bigger than f?
False
Let d be (15/(-3))/(-5) + 37. Let q = d - 39. Let z = 3 + -3. Does z = q?
False
Suppose -2*l - c + 216 = 1164, 2*c = 2*l + 942. Is -472 at most as big as l?
False
Let n(h) be the third derivative of -h**5/2 - 5*h**4/24 + 2*h**3/3 - h**2. Let v be n(3). Let w = v + 3093/11. Is w at least as big as 1?
False
Let r = -94.43 + -6.57. Which is greater: 2 or r?
2
Let z be (30/(-8) + 3)*8. Let g be (-4)/z + (-16)/6. Let c be (-2 + 5 - 3)/g. Is c at least as big as -1?
True
Suppose -m = d + 5, -5*d + 4*d - 7 = 3*m. Which is smaller: -5/28 or m?
m
Let f be 0 + 3 - (-2 - -2). Let i be 65/20 + -6 + f. Which is smaller: i or 8?
i
Suppose 22 = -0*o + 4*o - n, -5*n = -2*o + 2. Suppose -5*r + 5 = 0, -r + 5 = -5*b - o*r. Suppose -3*g + 3 = -4*g. Which is smaller: g or b?
g
Let n(g) = 16*g - 376. Let q be n(24). Is 0.12 >= q?
False
Let a = 536 + -531.17. Let t = -1.82 + a. Let j = 0.01 - t. Is -0.3 <= j?
False
Let n be -2 + 48/27 - (-84)/135. Is 165 smaller than n?
False
Let h = -917 - -1043. Which is smaller: 124 or h?
124
Let r = -6 + -47. Let a = -54 - r. Is a smaller than 3/5?
True
Let t = -150 - -51. Let m be 5412/t - ((-4)/6)/(-2). Is m smaller than -55?
False
Let s be -2*(4 + (-45)/10). Suppose 4*o + t = s + 1, -2*o = t. Is -2.7 bigger than o?
False
Let z be ((-324)/(-405))/((-1)/(-15)*-2). Is -13 > z?
False
Let i(u) = -u**2 + 10*u - 17. Let h be i(8). Suppose -2*o = 4*g + 6, o + 4*g = 3*g + 1. Let v(w) = w**2 - 7*w + 6. Let t be v(o). Which is smaller: h or t?
t
Let l = -104 + 60. Let d = -26 - l. Let z = d + -17.95. Is -0.1 != z?
True
Let n(x) = -11*x - 294. Let r be n(-27). Let g be (-37)/22 - -2*1. Let f = g + 2/11. Which is bigger: r or f?
r
Let y = -124912/73 + 1711. Is -1 > y?
False
Let k = 342/11 + -31. Let q = 25 + -26. Is k greater than or equal to q?
True
Let y(r) = 2*r**2 + 14*r + 4. Suppose 0 = 2*o + o + 15. Let g(f) = f**2 + 7*f + 2. Let n(q) = o*g(q) + 3*y(q). Let k be n(-7). Which is smaller: 1 or k?
1
Suppose -16*m = -32*m - 1136. Are m and -62 non-equal?
True
Let d be (19/2 - (-15)/(-5))*2. Is 11 greater than d?
False
Let r = 0.0366 - 95.0366. Which is greater: 2 or r?
2
Let m = -1 + 0.8. Let v = -0.1 - m. Suppose -10*w + 13 - 63 = 0. Is v at least w?
True
Let y = 0.1 + -0.15. Let o = y + -0.15. Let x = -0.4 - o. Which is greater: -2/3 or x?
x
Let m =