- (-21)/(-7))/4. Is z != -1/12?
True
Suppose 510 = 3*j + 3*i + 48, 3*j - 3*i - 444 = 0. Is 150 > j?
False
Let n be ((3 - 2)/4)/((-3)/30). Is n >= -3?
True
Suppose -5*o + 2*y = 479, 19*o = 17*o - 3*y - 184. Which is smaller: -4 or o?
o
Let g = 977 + -1396. Which is smaller: g or -420?
-420
Let a = -64.74 - -65. Let y = a - -0.74. Is 34 != y?
True
Let p = 108.1 - 108. Which is bigger: p or -41/6?
p
Suppose 0 = 4*p - 11 - 21. Suppose -10*d + 18 = p. Is 2/35 != d?
True
Let x be (4/(-3))/((-8)/12). Suppose 4*l + 8 = m, x*l + m + 0 + 4 = 0. Let a be l/(-10)*(1 - 2). Which is greater: 4 or a?
4
Let p be (-13)/(-52) - (-118)/(-88). Let h = -82/55 - p. Which is smaller: h or 0.25?
h
Let l = 102 + -59. Let d = 41 - l. Which is smaller: d or 0.3?
d
Let n = -2/15 - 8/15. Suppose 5*w - 4*o + 0*o - 14 = 0, -4*w + 7 = o. Suppose -2 - w = 4*x. Which is bigger: n or x?
n
Let r = 95/13 - 1139/26. Which is smaller: -37 or r?
-37
Let c = -446 - -341. Which is greater: c or -417/4?
-417/4
Let n be (0 - 0) + 1*(-3)/(-6). Which is smaller: 6 or n?
n
Let q be ((96/44)/(-8))/((-6)/4). Do -85 and q have the same value?
False
Let j(b) = 2*b**2 + 3*b - 4. Let v be j(-3). Suppose 3*i + 90 = -v*t, -i = 3*t - 2*t + 18. Let x be t/(-27)*(2 + -3). Which is smaller: -1 or x?
-1
Suppose 4*s + 5 + 51 = 0. Let j be 4/(-6) + s/(-21). Suppose 3*q = -2*q + 5*g + 40, j = 2*q + 4*g + 8. Which is smaller: q or 3?
3
Let m be 56/(-144) - (-4)/(-36). Which is smaller: 0.04 or m?
m
Suppose n + 226 + 956 = 0. Which is smaller: n or -1181?
n
Let r(n) = -n**3 + 50*n**2 + 107*n - 147. Let y be r(52). Let a be 34/4 - 0 - -1. Which is smaller: y or a?
y
Let o be (-1)/3*90/(-8). Let w(g) = g**3 + 19*g**2 - 12*g + 1. Let k(i) = -i**2 - i - 1. Let a(c) = -4*k(c) - w(c). Let b be a(-16). Is b bigger than o?
False
Let q(d) = -d**3 - 21*d**2 + 2*d + 36. Let l be q(-21). Let r be (9/2 - 2)*l/3. Which is smaller: -6 or r?
-6
Let s(j) = j. Let r be (-1)/(9/10 + -1). Let h be s(r). Which is smaller: h or 9?
9
Suppose -y = 4*m - 50, 3*y + 115 = 6*y + 5*m. Suppose y - 9 = -g. Let a = g + 25. Which is smaller: a or 3?
3
Suppose 3*p - 9 = -3*l, 4*p = 3*l + 24 - 5. Is l smaller than 3/173?
True
Let t = -12.3 + 28.1. Let y = t + -1.8. Let v = y - 14. Which is greater: -0.1 or v?
v
Let d(s) = -372*s**3 - s - 1. Let o be d(-1). Let p be 1/5 - o/2060. Which is bigger: 0 or p?
p
Let g = -8.02 - -8.37. Do 0.2 and g have different values?
True
Let p(q) = -19*q - 6. Let s be p(-2). Let c be ((-1)/4)/((-28)/s). Which is greater: c or 23?
23
Suppose 89*b + 980 = 40*b. Does b = -2.2?
False
Suppose 23*c = 35*c - 120. Do 15 and c have the same value?
False
Suppose -4*n - 7 = -2*h - 5*n, 5*n = -h - 1. Let p be -4 + 43/4 - h. Which is greater: 4 or p?
4
Let z(d) = -d**2 - 4*d + 8. Let x be z(-6). Let w = 106 - 104. Suppose -2*t - 11 = -f, -t + 3*f + w*f - 28 = 0. Which is smaller: t or x?
x
Let h = -1145/12 + 571/6. Are h and 33/7 nonequal?
True
Let d be (2 + 3)/5*0. Suppose 15*r - 18*r - 3 = d. Which is smaller: -2 or r?
-2
Let z(n) = -n**3 - 8*n**2 - 2*n + 5. Let k be z(-8). Suppose -2*h = 3*h - 3*j - 117, 0 = -h + 5*j + 41. Is k at most h?
True
Let n be (-3)/6*(-6)/9. Let d = -0.3 - -1.3. Which is greater: d or n?
d
Let y(i) = 18*i. Let v be y(-2). Let a be ((-27)/v)/((-1)/4). Suppose 2*f + 27 = -2*c + 9, 5*f - 5*c + 5 = 0. Which is smaller: a or f?
f
Suppose -6 = -2*m + 3*i + 3, 3*m = -3*i + 6. Let h be 21*2*(-3)/18. Let n = h + 8. Which is bigger: m or n?
m
Let h(z) = z**3 + 5*z**2 + 3*z - 1. Let y be h(-4). Let n be y*(7 + 4/(-1)). Which is smaller: n or 7?
7
Let u = -2511/3992 + 2/499. Let n be (-10)/(-40) + 1/(-4) + 2. Suppose n*c + 0 + 4 = 0. Is u at least as big as c?
True
Let h = -5912/2535 - 1/845. Which is smaller: h or -56?
-56
Suppose -5*c = -2*r - 12, 4*c + 0*c - 12 = 4*r. Let m(z) = z**2 - 43*z + 286. Let k be m(35). Is c > k?
False
Let b(s) = 13*s + 1. Let j be b(-1). Let c be ((-4)/j)/(4/(-24)). Which is bigger: 3 or c?
3
Let f = 0.13 - 5.13. Let i = f + -2. Let p = 0.2222 + -0.1222. Which is bigger: p or i?
p
Let p(o) = -258*o + 1005. Let k be p(4). Let a = 0 + -2. Is a less than k?
False
Suppose 8*q = 9*q + 12. Let i be 1 + -1 + q/12. Let x be i - (514/(-102) + 4). Which is greater: x or 1?
1
Suppose -3*n = -5*m - 0*m + 87, 0 = -4*n + 5*m - 121. Is n at least as big as -34?
True
Let l = 49 + -587/12. Is 1 at least l?
True
Let m = 15 - 14.95. Let y = 11.05 - m. Let f = -0.05 + -0.95. Which is smaller: f or y?
f
Let n(i) = 6*i - 103. Let c be n(19). Is c <= 11?
True
Let l = -431778149/328626 + 11/36514. Let z = 8372/9 + l. Let r = 380 + z. Which is smaller: r or -4?
-4
Suppose 5*b - 664 = 4*p + 490, 226 = b + 4*p. Let i be 4/16*(-16)/b. Is 0.1 <= i?
False
Let w be (-54002)/182 - (32/14 + -2). Is -296 at most as big as w?
False
Let t = 1092897/328 - 3332. Is t at most -1?
False
Let o = 1086 + -1018. Is o > 67?
True
Let c = 109/4 + -27. Let i = 9.8 + 10.2. Let q = 17 - i. Is c > q?
True
Let a be 49/(-4)*390/(-35). Which is smaller: a or 0.1?
0.1
Let v = -0.3 - -0.2. Let i = 28.798 - 21.798. Is v greater than i?
False
Suppose 3691 - 12319 = 12*a. Which is smaller: -718 or a?
a
Let z = -239 + 241. Which is bigger: -3/11 or z?
z
Suppose 0 = 10*d + 61 + 69. Does -40/3 = d?
False
Let y = -513 + 466. Are -1/4 and y unequal?
True
Let l be (9/(-6))/((-15)/560). Let r = l - 29. Is r bigger than 27?
False
Let w = 1.9 + -2.51. Let u = w - 0.39. Does u = 39?
False
Let g be ((-212)/(-5))/2 + -2. Let k = g + -20. Which is bigger: k or 0?
0
Suppose -t + 5641 = 6*h, -5*t - 4695 = -6*h + h. Which is greater: h or 941?
941
Let d = 17 - 17. Let x = 32077889/105 - 305506. Let v = -11/5 - x. Which is smaller: d or v?
d
Let g(s) = 5*s**3 - 3*s**3 - 1 + 5*s - 4*s**2 - 3*s**3. Let x be g(-5). Suppose -j = -6 + 7. Is j > x?
False
Let q(b) = -5*b - 10. Let s be q(-2). Let m be -2 - 3 - (s + -4). Is m != -1?
False
Let v be (-3 + 44/8)*18/(-15). Let t(z) = -2*z**2 - 3*z + 2. Let w be t(v). Which is greater: w or -8?
w
Let f(g) = -g**2 + 20*g + 97. Let t be f(24). Is t at least as big as -1/1139?
True
Let m = 251/150 - 1/150. Suppose 5*i + 1 = 6. Is i bigger than m?
False
Let s = -103 + 103. Which is bigger: s or -6/11?
s
Suppose -2*j + w - 5 = 0, -3*w + 12 = -5*j - 3. Let i be (-180)/8*92/6*-2. Let k = i + -7596/11. Is j bigger than k?
True
Let j(r) = -3*r - 9. Let d be j(-4). Let t(a) = a - 1. Let p be t(d). Suppose -p*v = v. Which is greater: v or -3?
v
Suppose 5*b + 109 = -166. Which is smaller: -1.2 or b?
b
Let d = -29.15 + 29. Let l = d + 0.25. Let j = 2 + -4. Do l and j have the same value?
False
Suppose 3*g = -m - 3, -g - m - 3*m = 1. Let p be ((-2)/g)/(-2) - -42. Is p bigger than 41?
False
Let o = -8 + 5. Let i be -19 + 6/10 + (-3)/5. Let c = -21 - i. Are o and c non-equal?
True
Let q = -0.093 - -30.093. Let u = 30 - q. Is 1/38 smaller than u?
False
Let q be (4 - 5)*1*-1. Suppose -5*a - q = 79. Which is greater: -15 or a?
-15
Let l be 2 - (-10)/(-4) - 209/(-22). Are -7 and l equal?
False
Let s = -350 - -1308. Let o = -33528/35 + s. Is 0 less than o?
True
Suppose 9 = 3*f + 3. Let u be f/6*-2 + 2921/345. Is u less than 7?
False
Suppose -13*m - 256 = -17*m + 2*k, 0 = -m - k + 64. Which is smaller: 2 or m?
2
Let g be 429/6 + 6/(0 - -6). Is g at most 74?
True
Let t = 0.17 - -3.83. Is t at least -12?
True
Let i = -25/7 + 3. Suppose 13 = 7*p - 36. Suppose -6*h + p*h = 0. Is i greater than or equal to h?
False
Let z be -2 + 0 - 40/(-16). Let s be 0/(-2 - (-3 - 1)). Let q = s - -1. Which is smaller: q or z?
z
Let c(k) = -4*k**3 + 3*k**2 + k - 1. Let m be c(-1). Suppose 2*t - 15 = 4*t - m*v, 5*v - 15 = -2*t. Let l = 17 - 30. Which is greater: t or l?
t
Let q = -36 + 38. Suppose 18 = 8*m + q. Which is smaller: m or 9/5?
9/5
Suppose -3*x + 4*x = 0. Which is bigger: -2/113 or x?
x
Let o be (-2)/(-7 + (16 - 7)). Which is smaller: o or -4/43?
o
Let c(n) = 2*n**2 - 5*n - 3. Let z be c(6). Let f(s) = 47*s - 430. Let h be f(10). Are h and z equal?
False
Let i be 944/(-468) + 4/(-6)*-3. Is -1 less than i?
True
Let f be ((-12)/(-21))/((-6)/(-42)). Suppose -3*o + 3*u - 70 = f*u, -65 = 2*o - 3*u. Is -26 smaller than o?
True
Let q(p) = -p - 9. Let f be q(-12). Suppose 3*l - f = 30. Suppose 2*k + 15 = -3*k, l = 5*a - 2*k. Which is greater: 4 or a