ter: j or 2?
2
Let z = 16 + -17. Let a be (z/(-6))/(42/(-270)). Let t = a + -3/7. Is -2 greater than t?
False
Let w = 113/4 + -28. Let r = 0.2 - 0.1. Let i = 0.9 + r. Is i <= w?
False
Suppose 0 = -4*w - 11*w - 345. Which is bigger: -18 or w?
-18
Suppose -18 = 3*g + 6*g. Let f be (g/(-3))/(4/128). Which is bigger: f or 20?
f
Let b be 2/(-4)*132/48015. Which is bigger: -1 or b?
b
Let b(t) = -t - 14. Let s be b(-15). Let v = -64/9 - -356/45. Let x = v + -9/10. Which is smaller: x or s?
x
Suppose -3*y - 25 = 80. Let r = y - -27. Which is bigger: r or -1?
-1
Suppose 4*u + 23 = j, 3*u = 2*u - 5. Suppose j*k + v = -15, k - 7*v + 2*v = -21. Suppose 2*y + 4*n - 1 = n, 3*n - 29 = 2*y. Does y = k?
False
Let b be (-2 - (-24)/14)/(18/42). Suppose -7*v = -4*v. Suppose -2*u - 5 = 3*u - l, v = 4*l. Which is greater: u or b?
b
Suppose -3*z + 3*a = -1671, 12*z + 5*a + 2230 = 16*z. Is z bigger than 554?
True
Let u = 105 + -104. Are u and 75 equal?
False
Let t = -989/14 + 71. Which is smaller: 0.6 or t?
t
Suppose d = -4*d - 45. Let t be d/(-17)*(-22)/66. Which is bigger: t or 0?
0
Let p = 3861/166 + 20/83. Which is smaller: p or 25?
p
Suppose -6*s = -7*s + 3. Suppose -2*n - s*n - 83 = 3*r, 0 = n - 5. Are r and -35 unequal?
True
Let b = -0.2 + 0.2. Let r = -0.2 - b. Let a be (98/84)/(3 - 34/12) + -13. Which is smaller: a or r?
a
Let j = 179 - 179. Suppose 2*i - 25 = -4*u - 5, -4*u - 5*i + 8 = j. Which is smaller: u or 49/6?
u
Suppose 0 = 6*x - 270 - 120. Is 64 smaller than x?
True
Let o be 15*5/125*3*5. Is 112/11 bigger than o?
True
Let j(c) = 2*c**3 + 26*c**2 + 22*c - 26. Let k be j(-12). Are -146 and k nonequal?
True
Let l = 751 - 673. Is l not equal to 0.4?
True
Let f(t) = -t**2 + t - 10. Let q be f(0). Let c be (8/40)/((-4)/q). Suppose 0 = -4*s - 8, u + 4 = -5*s - 4. Is c smaller than u?
True
Let b be 3/9*(-456)/8. Let s = b - -39. Which is smaller: 23 or s?
s
Let y = -233/30 + 49/6. Suppose 3*p = -4*x, 2*p - 6*p = -3*x. Let t be (2 + -3 + x)*1. Does t = y?
False
Let k(s) = s**2 + 7*s + 19. Let z(v) = v**2 + 3*v + 10. Let c(b) = 4*k(b) - 7*z(b). Let f be c(3). Which is bigger: 1 or f?
1
Suppose 6*t - t = -d - 20, 0 = 4*d + t + 61. Suppose -832 = 158*j - 106*j. Which is smaller: j or d?
j
Let s = -15871/46 + 345. Which is smaller: s or 1?
s
Let z(q) = 4*q - 4. Let h = -3 - 0. Let y be z(h). Is y smaller than -15?
True
Let v be (-1 - -9)/(33/(528/32)). Suppose 0 = 4*n - 5 + 1. Which is smaller: n or v?
n
Suppose 0 = -3*p + 3*r - 126, 5*r - 48 = 4*p + 125. Is p smaller than -36?
True
Let f(w) = 30*w**3 + w**2 - w + 2. Let n be f(2). Let v = 100 - n. Let b be -3*-3*(-1)/v. Is b greater than -1?
True
Let y be -6 + 0 + -37 + 50. Are y and 186/25 unequal?
True
Let u = 6.6 + 56.4. Let z = 70 - u. Let t = 0.3 + -0.5. Is z less than t?
False
Let k be ((-3)/6)/(1/(-4)). Let n be 208/777 + k/(-7). Which is greater: n or -1?
n
Let k be (-2)/6 - (-1)/3. Suppose 4*h - 3*r - 116 = -k*h, 0 = -4*h - 2*r + 116. Let l = h + -30. Is l smaller than 2/63?
True
Let w(f) = -6*f - 3. Let v(u) = 7*u + 3. Let g(n) = 5*v(n) + 6*w(n). Let m be g(5). Let b be -5*m/20 - 1. Which is bigger: b or 2/17?
b
Let r be (-2)/(-1*2 - -3). Let s(l) = 4*l**2 + 3*l - 31. Let v be s(-11). Let p be ((-24)/v)/((-1)/(-50)). Do r and p have the same value?
False
Suppose 2*k - 177 = -97. Which is greater: k or 58?
58
Let x be (6 - 245/20)/((-2)/72). Are 225 and x non-equal?
False
Let h be -1*(12 + 2) + -1. Let i be ((-3)/h)/(2/5). Is i bigger than 2?
False
Let w be (1456/292 - 5)/1. Is -1 less than or equal to w?
True
Let b be (-3)/(-2)*(-4)/3. Let k = 22 - 25. Let v be (k/6)/((-1)/(-3)). Which is smaller: b or v?
b
Let h be 3 + -1 + 0 + 0 + -7. Let i be (7 - (5 - h))*(-2)/(-123). Which is bigger: -1 or i?
i
Let u(c) be the third derivative of c**4/12 - 7*c**3/3 + 12*c**2. Let d be u(7). Is d less than -4?
False
Let x be (-1)/(6/(-9))*2/12. Is -32 < x?
True
Let z be (-2)/2 + 3/5. Let g = -45 + 44.83. Let o = 0.27 + g. Is o not equal to z?
True
Suppose 5*p - 198 = -78. Are p and 145/6 equal?
False
Let x = -1 + 12. Let t = 28 + 21. Suppose -9 = 4*v - t. Is x equal to v?
False
Suppose 0 = -o - 5 + 52. Let x = o - 189/4. Which is smaller: 0 or x?
x
Suppose 5*y = 3*y, 0 = -2*s + 3*y - 14. Which is smaller: -34/5 or s?
s
Let s = -463.3 + 466.3. Let j = -2 + 1.8. Let f = -0.4 - j. Are s and f unequal?
True
Let z = 1199 + -1197. Do z and 4/5 have the same value?
False
Let a = 262/5 - 556/15. Let u be ((-16)/20)/((-4)/70). Which is bigger: u or a?
a
Let s = 6.9 + 1.1. Let u = 56 - 65. Let p = u + s. Which is smaller: p or -17?
-17
Let y = 15 + -15. Suppose -5*o - m + 36 = y, 19 + 41 = 5*o - 5*m. Suppose 27 = 4*f + 3*v, -3*f + 4*f + 2*v - o = 0. Are 4 and f equal?
False
Let l(o) = -4*o + 1. Let f be l(-1). Suppose -225 = f*y + 2*h, -3*h = -6*h. Let b be (6/y + 0)*-12. Is 3 greater than or equal to b?
True
Let s be 4 - 3/(1 - 4). Let o = 2526 + -2513. Is o greater than s?
True
Let i be -4 + ((-500)/(-235) - -2). Let k = -23 + 23. Are k and i equal?
False
Suppose 14*r + 11 = -3. Is r > -4/273?
False
Suppose 0 = 7*s - 4*s - 12. Suppose 0 = -4*n + 3*n - 4*z - 15, 0 = -5*n - 2*z + 15. Suppose 3*o + s*a - n*a = -9, -2*a = 2*o - 2. Which is bigger: -0.1 or o?
-0.1
Let q = 8 - 6. Suppose 0*i = q*i + 2. Suppose 33*p + 4*x - 4 = 29*p, x = -2*p + 4. Is i smaller than p?
True
Let g = 209/4 + -105/2. Does 7 = g?
False
Let i be -10*((-4)/(-6))/(10/30). Do -18 and i have the same value?
False
Let i(k) = -k**3 + 2*k**2 - 2*k + 4. Let p be i(2). Which is greater: 3/77 or p?
3/77
Let d(i) = -20*i**2 - i - 1. Let s be d(3). Let v be 2/(-11) + s/(-44). Suppose -v*t + 7 = 5*h + 16, h = -t - 2. Which is smaller: 4/13 or h?
h
Let c = -270/19 - -4704/323. Is 1 greater than c?
True
Let m = 1167439/229 - 5098. Which is smaller: -1 or m?
-1
Let d = 510 - 31. Is d < 478?
False
Let n = 140 - 140.93. Let w = n + 1. Let y = w + -0.14. Is -2/5 greater than or equal to y?
False
Let u(a) = a - 3. Let o be u(5). Let p = 125 + -122. Is p >= o?
True
Let n(v) = -3*v**2 - 2*v - 1. Let l be n(2). Let o be 2/(3/((-399)/14)). Which is greater: o or l?
l
Let x be (7/7)/((-1)/(-8)). Let w be 1 + (-116)/(-28)*(-2)/x. Which is smaller: -1 or w?
-1
Let c(m) = m**2 + 70*m - 546. Let g be c(7). Which is smaller: g or -34?
-34
Let w be (-3*28/18)/2 - -3. Let r = -54.7 + 58. Which is bigger: w or r?
r
Let k be -3 - -2 - (-658)/310. Let o = -2665 + 82605/31. Let w = k + o. Which is smaller: 2 or w?
w
Let q = -573 + 377. Is q > -197?
True
Suppose 3*m - 7*m + 3*o = -64, 3*m + 5*o - 48 = 0. Let i = 27 + -10. Which is bigger: i or m?
i
Let s(y) = 64*y + 6. Let n be s(-1). Is n smaller than -59?
False
Let m = -0.556 + -16.294. Let a = 17 + m. Let w = -0.15 + a. Are 12 and w non-equal?
True
Let m = -2 - -2. Which is smaller: 6/107 or m?
m
Suppose -y - 4*y = 50. Let g be 6/y*(-26)/18. Let s = g + -433/465. Which is greater: 0 or s?
0
Let p be -5 + 167 - (5 - 0). Which is smaller: 158 or p?
p
Let j = 0.306 + 0.394. Is -0.11 less than or equal to j?
True
Let r = 1.15 + -1.05. Do 37/7 and r have different values?
True
Suppose -3*l - 14 = u - 53, -l + 21 = 3*u. Suppose 6*y - 5*v - 111 = 2*y, 2*y + v = 45. Let x be 10/4*y/5. Is l < x?
False
Suppose 0*z = 2*z - 14. Suppose r = 3*r - z*r. Which is bigger: r or -2/127?
r
Let r = 767 + -40646/53. Which is bigger: r or 0?
r
Let v be (32/40)/(17/5). Let o(z) = -z - 11. Let n be o(-10). Which is bigger: v or n?
v
Let r = -0.017 - -0.137. Let x = 5/6 - 31/30. Is x less than r?
True
Let n(j) = 4*j**2 - 3*j**2 - 7 + 20*j - 25*j. Let c be n(6). Which is bigger: c or -1/3?
-1/3
Let r(x) = x**3 - 8*x**2 - 8*x - 4. Let a(k) = k**2 - 7. Let t be a(4). Let i be r(t). Suppose 2*o = i*g + o - 20, -5*g = o - 10. Is 3 smaller than g?
False
Let a = -0.052 - 0.318. Let q = 1.23 - a. Which is bigger: q or 0?
q
Let r be 947*(-1)/(-2177)*-1. Let f be (-1 - 9/(-6))/((-311)/(-4)). Let d = f + r. Which is bigger: 0 or d?
0
Let s = -2.24 - -0.24. Let d(f) = -4*f**2 + 62*f - 128. Let p be d(2). Which is bigger: s or p?
s
Let h be 1476/2106 + (-2)/(-9). Let f be -3 + -1 + 5 + -1. Which is smaller: f or h?
f
Let s(a) = -3*a**2 - 12*a - 60. Let f be s(-10). Which is greater: f or -239?
-239
Let d = -2.95 + 5.95. Let y = 0.1 - 0. Is d not equal to y?
True
Suppo