es v = j?
False
Let d be ((-3)/6)/(3/78). Suppose -301 = 34*b + 107. Which is smaller: d or b?
d
Let r = 0.038 - -0.532. Let j = r - 0.11. Which is bigger: j or 0.1?
j
Let p(w) = -3*w + 32. Let k be p(14). Let z be 1/k - (-6)/(-15). Which is bigger: 2 or z?
2
Suppose -3*y - 296 = -l, 6*l - 5*l + 1 = 0. Let v = -112 - y. Are v and -15 equal?
False
Let k = -64 + 136. Is k < 71?
False
Let y be (-2)/((-6)/15) + (-484)/99. Which is smaller: 1 or y?
y
Suppose 0*j = 5*j. Suppose 2*w + 3 - 1 = j. Let i = -1695 + 28813/17. Are w and i non-equal?
True
Suppose 3*f - 6330 + 6213 = 0. Let h(z) = 3*z**3 - 5*z**2 + 3*z - 4. Let v be h(3). Are f and v equal?
False
Let a(w) = 0 - 4 + 0*w**2 - 10*w - w**2. Suppose -2*h = 9 + 9. Let m be a(h). Which is greater: 6 or m?
6
Let w = -560 + 559.9. Let d(y) = y**2 + 2*y + 2. Let f be d(4). Is w > f?
False
Let n(w) = w**3 + 2*w**2 + 3*w + 3. Let v be n(-2). Let g be 0*(4 + v) - 6. Let l be 5 - (g/2 - -5). Are l and 3 unequal?
False
Let s = -0.4314 + -0.0686. Which is bigger: s or -20?
s
Let i = 8 + -6. Suppose n = 5*n + 4*w + 8, 0 = 2*w - 2. Is n < i?
True
Let i be 0*(-1 - 0) - -4. Suppose i*s - s = -s. Is s smaller than 8/21?
True
Let a = -85.8 + 92. Let y = a - 6.1. Let h be (-4)/(-7)*1/(-2). Which is bigger: h or y?
y
Let n = -10/6257 - 4117076/18771. Which is greater: -220 or n?
n
Let c(r) = -r**3 + 8*r**2 + 3*r - 9. Let p be c(8). Let x be 13 + -10*-3*8/(-40). Is p at least x?
True
Let q = -10 + 12. Suppose 5*x - 9 = q*x. Let n = -2 + x. Do -1 and n have different values?
True
Let d(p) = 15*p + 6*p**2 - 6*p**2 - p**2 - 12. Let n be d(14). Let t(j) = -2*j + 1. Let x be t(n). Is x at least as big as -4?
True
Let z = -2.88 - 0.62. Let m = z - -2.5. Is m > 0.4?
False
Suppose 1396*l - 5481 = 1403*l. Which is smaller: -785 or l?
-785
Suppose -14*q + 115 = 9*q. Which is greater: q or 42/11?
q
Let k be (-1665)/(-12) + (-2)/(-8). Which is greater: 141 or k?
141
Let x = -8.17 + 8. Let y = -0.2 - x. Let a = y - 5.97. Which is smaller: 0 or a?
a
Suppose 6*u - 22*u = -3488. Are 219 and u non-equal?
True
Let r = 357 - 356.99. Which is greater: r or -8?
r
Let c = -14786 - -14774. Let r = -14 - -12.8. Let o = 0.2 + r. Which is greater: o or c?
o
Let k = -3.7 - -4. Let h = k + -0.2. Which is smaller: h or -3/8?
-3/8
Let l = 4.4 + -7.1. Let w = 1.1 + l. Which is smaller: w or 0.1?
w
Suppose 20 = -4*v + 4*g + 80, 0 = 2*v - 5*g - 42. Let s be ((-3)/2)/(561/v). Which is smaller: s or -1?
-1
Let u(z) = -z**3 - 10*z**2 - 5*z - 43. Let n be u(-10). Which is smaller: n or 4?
4
Let p(x) = x**3 - 17*x**2 + 33*x + 49. Let l be p(15). Is l smaller than 92?
False
Suppose 44 = 7*f - 9*f. Let u be 12/f + 0/(-4). Let t be 0 + -3 - (-2 - 0). Which is bigger: u or t?
u
Let z = 0 - -16. Suppose w = -9*h - 2*w + 132, 0 = -2*h + 3*w + 44. Is h bigger than z?
False
Let t(j) = j**3 + 13*j**2 + 37*j - 35. Let s be t(-7). Which is greater: 2/1713 or s?
2/1713
Suppose 4*h + 7236 = -4*i, -2*i + 1839 = -h + 3*i. Let u = h + 226751/125. Which is smaller: -1 or u?
-1
Let i = -28 - -74. Let v = i + -45. Which is bigger: -29 or v?
v
Let w = 101/5 + -1553/65. Is -5 greater than w?
False
Suppose -9*i = 297 - 351. Are 62 and i equal?
False
Let a = -45 - -46. Let p = 15 - 8. Let v = p + -6. Is a at least v?
True
Let a be (17/(-43 + 9))/((-2)/(-400)). Which is bigger: -101 or a?
a
Let i = -9 + 9.1. Let f = -0.4544 + -55.5556. Let y = 56 + f. Are i and y unequal?
True
Let d be ((-32)/(-864))/(-1*(-2)/24). Suppose -1 = z - 0. Is z equal to d?
False
Let j = -10 - 26.3. Let i = j + 36. Is -2 equal to i?
False
Suppose 0 = 3*z + 15, 5*y - 2*z + 69 - 174 = 0. Which is greater: -9 or y?
y
Let r = -204 + 143. Let o = r + 16. Are -46 and o equal?
False
Let w = 607 - 607. Is w at least as big as 2/273?
False
Let s = -35 + 33. Let q be 70/15 + (-1)/(-3). Let c = 3 - q. Is c <= s?
True
Let l = -167.24 - -175. Let r = 0.24 + l. Let y = -9 + r. Which is smaller: 1.2 or y?
y
Suppose 2*k - 385 = 13*k. Let h be (14/k)/((-2)/10). Which is smaller: h or 5?
h
Suppose 8*v = -v - 2*v. Let c(j) = -3*j + 1. Let o be c(-1). Suppose 0 = 2*u + 2 + o, 3*u + 9 = -4*z. Is v > z?
False
Suppose y + 2 = -4*r - y, 3*r + y + 2 = 0. Let f be r - (-10)/14 - (-54)/(-63). Let s be 0/2*(-2 + 1). Is f bigger than s?
False
Suppose 32 = -13*g + 12*g. Let v = 33 + g. Which is greater: v or -0.22?
v
Let d(o) = o**2 - 12*o - 16. Let n be d(14). Let y be ((-14)/n + (-6)/(-9))/5. Is -2/7 smaller than y?
True
Let a be 273 - 2 - (-18 + 10). Which is bigger: a or 281?
281
Let h = -1122 + 1019. Is -101 not equal to h?
True
Let v be (-19 + 6/4 + -3)*2. Do -43 and v have the same value?
False
Let x = -777 + 776. Which is smaller: x or -3/115?
x
Suppose -5*i = -3*y + 42, y = i + 22 - 12. Which is greater: -7.3 or i?
i
Let z(k) = -7*k**2 - k. Let x be z(-1). Let b = 75 - 103. Let h be 34/(-6) + b/(-42). Is x != h?
True
Let n(b) = 3*b - 25. Let m be n(8). Which is bigger: m or 4/37?
4/37
Suppose 0 = 50*x - 53*x - 216. Let t = -20 + 20.1. Is t at most x?
False
Let n be (-105)/70 + 3/26. Is n at least 4/7?
False
Let k(d) = -d**3 + 5*d**2 - 3*d - 4. Let b be k(3). Suppose 2*l - 3 = -b. Suppose 0 = -5*n + 4*p + 23, 0*p + 3 = -n - 3*p. Is l greater than n?
False
Let r = 4 - -5. Let j be (8/(-18))/((-2)/r). Suppose f + j*f = 0. Do f and 0 have the same value?
True
Suppose -297 + 779 = 2*o. Let i = 4099/17 - o. Let n = -1.277 + 0.277. Which is smaller: i or n?
n
Let o be (-14)/(-888)*45/315. Which is bigger: o or 1?
1
Let j = 128.62 + -129. Let w = -13.24 - -13. Let s = w - j. Is s <= -2/9?
False
Suppose -4*s = -3*r + 81 - 224, -4*r = 4*s - 164. Let b be (3 - 12/3) + 42/s. Is b smaller than 1/4?
True
Let o = -0.2 - -1.2. Let f = -3079 - -3097. Which is smaller: f or o?
o
Let p(d) = -d**2 + 10*d - 3. Let q be p(5). Let n be 6/(-15) - (q/(-5) - -1). Are 7 and n equal?
False
Let n = -5 + 3. Let y(r) = -r**2 - 2*r - 2. Let g be y(n). Let k be (3 + g + 0)*7. Is 7 not equal to k?
False
Let w(b) = -b**2 - 21*b + 88. Let m be w(5). Which is bigger: -47 or m?
m
Let i = 1.047 + -1.447. Is -148 bigger than i?
False
Let d = 0.87 + -1. Let z = d - -10.13. Let n = z - 10. Which is bigger: -1 or n?
n
Let x be 2/(-8) + (-4)/8. Suppose 0 = 2*k - l + 119, -l = -0*k - k - 58. Let u = 61 + k. Is u greater than x?
True
Let a be (16 - (-5128)/(-320))/(8/(-18)). Which is smaller: a or 0?
0
Let d be (0 - 0) + ((-742)/42 - -16). Which is smaller: d or 46?
d
Suppose -25*v + 29*v = -44. Let n = 15 + v. Suppose k = -n*k + 10. Is k < -6?
False
Suppose -468*d + 66 = -479*d. Let l be (3*2)/(0 - 1). Is l at least as big as d?
True
Let w = 54/91 - 4/13. Let v(o) = -o**3 + 7*o**2 + 8*o + 1. Let k be v(8). Which is smaller: w or k?
w
Let f(r) = r**3 + r - 7*r**2 - 6 - 3*r + 3*r. Let g = 18 + -11. Let u be f(g). Which is smaller: u or 0?
0
Let x = 67 + -68. Let t = x + 0. Which is bigger: -40 or t?
t
Let u = -1037 - -1047. Let a = -7 - -13. Is u bigger than a?
True
Let n(m) = m**2 + 10*m + 3. Let b be n(-6). Suppose 0 = -19*c + 23*c + 80. Do b and c have different values?
True
Let w = 135 - 673/5. Let q be 408/2970 - (-4)/(-22). Which is smaller: w or q?
q
Suppose -922*c + 925*c - 3597 = 0. Is c less than 1198?
False
Let d = -3 - -7. Suppose -84 + 44 = -d*q. Is q smaller than 10?
False
Let o be (216/(-10))/((-5)/25). Suppose 4*w - w - o = 0. Let t be 6/(-9)*w/(-28). Are t and 0 non-equal?
True
Let f = -0.086 - 10.914. Let b = -23 - f. Which is smaller: b or 2?
b
Suppose -37*m - 272 = -45*m. Which is smaller: 36 or m?
m
Suppose r - 3*r - 59 = 5*h, -3*r - 86 = 5*h. Let w = 26 + r. Which is smaller: -3/10 or w?
w
Suppose 5*c - 34 = -124. Let b be 44/6*c/12. Let u be -15 - b - (0 + -1). Is 0 greater than u?
True
Let v be (7/(-21))/(-4*(-3)/(-96)). Which is smaller: v or -44?
-44
Let c = 0.04 - -4.76. Let y = c + -3.8. Is 1.5 smaller than y?
False
Let j be 2/(-6) - (-638)/1815. Let a = -2/11 - j. Are a and 0 non-equal?
True
Let i = 0.7 - -0.3. Let n = -15226 + 380652/25. Which is smaller: i or n?
n
Let y be ((-10)/(-3))/(2/(-3)). Let k = y - -7. Suppose -q + 5*m = -3, 2*q + 2*m = 4 + 2. Is q greater than k?
True
Suppose -6*x - 8 = 16. Let u(b) = -b**3 - 7*b**2 - 3*b. Let l be u(-2). Let o be (-46)/l - x/(-14). Which is greater: 2 or o?
o
Let c(p) = -p**3 - 7*p**2 + 