er: d or 1?
d
Let o = -14.9 - -15. Let h = -0.1 + o. Let s be (5/(-10))/((-15)/84). Is h >= s?
False
Let g be (-252)/(-20) - 12/(-30). Which is greater: g or 1?
g
Let q = -119 + 110. Let k be (2/(-11))/(q + 7). Which is smaller: -3 or k?
-3
Let k = -0.64 + 0.62. Which is smaller: k or -2?
-2
Let m be 15*11/(-55)*(-1)/(-3). Which is smaller: -1/272 or m?
m
Let c be ((-2152)/176)/((-7983)/(-32862)). Let v = -2/9757 - c. Let h = 51 - v. Is h not equal to 0.2?
True
Let s(x) = x + 7. Let d be s(-5). Suppose 4*n + 2*j - 12 = 0, 3*n + 0*j = 2*j + d. Suppose -14 = -2*v - 5*w, v - n*w = -0*w + 7. Is 0.2 < v?
True
Let v = 0.36 - 0.46. Is v smaller than -0.034?
True
Let m = -8 - -6. Suppose 5*b = b + 8. Let u be 15/10 + (-13)/b. Is u < m?
True
Let s = -14.17 - -13.67. Let u = -5 - 0. Which is greater: s or u?
s
Suppose 2*n + 6 = -38. Let q = -16 - n. Suppose 0 = -5*c + 3*c + q. Which is greater: c or 4?
4
Suppose -4*t + 123 = 37*t. Are t and -65 non-equal?
True
Let n(d) = -17*d - 70. Let k be n(-10). Which is smaller: k or 2/9?
2/9
Let c = -3270 - -65381/20. Let t = 739/820 + c. Is t equal to 1?
False
Let j(g) = 2*g**3 - 2*g**2 + g - 2. Let u be j(2). Suppose z - u = -z. Suppose 0*f + 2*d + 9 = -f, -z*f - 36 = -d. Which is bigger: f or -10?
f
Suppose 3*f - 6*i + 4*i + 8 = 0, 4*i = -3*f - 2. Let q be 1 + -4*(1 - 2). Let a be (4/(-16))/(q/32). Is a at least as big as f?
True
Let b(g) = -g - 1. Let m be b(-4). Let i be (24/(-10))/((-24)/180). Let d = i + -14. Is m less than or equal to d?
True
Let v be (41/205)/(6/10). Suppose 2*i = i - 4. Which is smaller: i or v?
i
Suppose 10*w = 12*w + 4*v + 232, 0 = 3*w + 3*v + 363. Is -126 smaller than w?
False
Let o = 388 + -230. Let l = o + -159. Is l not equal to 0?
True
Let k be (-4188)/16 - (2 + 5)/28. Is k bigger than -261?
False
Let t(s) = -2 + 170*s + 7 - 167*s. Let o be t(-2). Which is bigger: 2/47 or o?
2/47
Let y = 113.9 + -113. Let t = -1.3 + 0.5. Let h = t + y. Which is greater: 0.08 or h?
h
Let i = -85 + 86. Let o = 2/155 - -149/465. Which is smaller: o or i?
o
Let x be ((-4)/(-14))/((-3)/(-7)). Let d = -1.39 - -1.9. Let f = d + -0.91. Which is bigger: f or x?
x
Suppose m - 2*m = -2. Let p(u) = 2*u**3 - 16*u**2 + 13*u + 14. Let n be p(7). Is m less than n?
True
Let j(o) = -22*o + 316. Let y be j(14). Which is smaller: 15 or y?
y
Let o = 8458/5 + -1834. Let p = o - -142. Which is smaller: p or -1?
-1
Let d = -0.0263 + 0.0263. Which is smaller: d or -0.127?
-0.127
Let o(k) = k**2 - 9*k + 7. Let i be o(8). Let r = -12322/5 - -2456. Let u = r - -279/35. Are u and i equal?
False
Suppose 91*h + 66816 + 57217 = 0. Which is smaller: h or -2/3?
h
Let n(o) = 101*o - 1. Suppose 2*z - 3*m + 2*m = 2, -5 = -5*z + 4*m. Let j be n(z). Let s = j - 2498/25. Is -1 not equal to s?
True
Suppose 0 = -2*g + g + 14. Suppose 0 = g*p - 9*p. Let f = 14146/413 - 240/7. Which is smaller: p or f?
f
Let m be ((-2 - -1)*3)/(-1 + 4). Are -2/577 and m non-equal?
True
Let z = 2 + 2. Suppose -3*p + 2*p = 3*c + 4, 0 = z*c + 2*p + 2. Let a be 2/c*(-15)/45. Are 1 and a nonequal?
True
Suppose -3*d + 3*j - 467 = 2*d, -5*j = -4*d - 384. Let q be 754/d + (-4)/(-14). Is -8 != q?
False
Suppose 8 = -o + 3*v, v + 2*v = -3*o + 12. Which is bigger: 1/265 or o?
o
Suppose 5*z - z + 8 = 0. Let y be -21*14/(-49)*(-2)/4. Is y less than or equal to z?
True
Let z = -457 - -456. Do z and -21/193 have the same value?
False
Let n be 1 + -1 - 0/23. Suppose 0*x + 3*x = 3. Let b be (x/2)/((-10)/28). Which is smaller: n or b?
b
Let i be (-11)/3*-3*15. Suppose -13 = -y + 4*v + 19, y + 3*v = -3. Let a be y/i*5/(-2). Which is bigger: a or 1?
1
Let s(l) = l**3 + 4*l**2 - 34*l - 17. Let x be s(-8). Which is bigger: 1/63 or x?
1/63
Let x be 539/(-868) - 2/(-8). Let w = x + -4/31. Which is greater: w or -2.4?
w
Suppose -2*m - 3*k - 8 = -25, -k = 2*m - 7. Which is greater: m or -10/37?
m
Let h = -84219/5 - -16773. Which is smaller: -70 or h?
h
Let q(v) = -7*v + 5. Let k be q(2). Let j be ((-135)/6)/k - 1. Let s be (2 + (-7)/3)*-3. Is j > s?
True
Let k = 299 - 212. Is 86 smaller than k?
True
Suppose 2*u = 3*u + 38. Let m = -36 - u. Let c = -1795/13 - -139. Is c at most m?
True
Suppose 5 = o + 3*a + 60, 5*o + 331 = -a. Let l = o - -66. Which is greater: l or -47?
l
Suppose 3*c = -2*c. Suppose c*h = -3*h + 18. Let y = 1 - h. Is -5 smaller than y?
False
Let w = -28 - -10. Let j = -17.94 - w. Which is smaller: -2/7 or j?
-2/7
Let u be (82/8)/(1/28). Which is smaller: u or 285?
285
Suppose -89*l = -84*l + 75. Suppose -k + 19 = 5. Let g = k + l. Is g >= -3/5?
False
Let y = 0.318 + 6.682. Is -4 less than or equal to y?
True
Let t = 72 - 70. Suppose w + 0*w = 5*z + 3, 0 = -t*w + 4*z. Let c be 5*(-2 - (-16)/10). Is w >= c?
True
Let p be -10*4/(8/3). Let m be (525/495 - (-3)/11) + (-165)/9. Which is bigger: p or m?
p
Suppose -2*g = 297 - 741. Which is smaller: g or 220?
220
Let n = -273/2 - -136. Which is smaller: 39 or n?
n
Let q = -21 + 37. Let n = q + -8. Suppose h + 4*g = 12, -2*h + 3 + 16 = 3*g. Is n <= h?
True
Let f(a) = -a**2 + 17*a + 47. Let h be f(19). Suppose -h*m - 21 = -10*m. Is m > 22?
False
Let t(r) be the first derivative of -2*r + 1/2*r**2 - 10. Let c be t(-3). Which is greater: c or -4?
-4
Let u be 133/(-57) - (-26666)/11430. Which is greater: u or 0?
0
Let n(o) be the first derivative of o**3/3 - o**2/2 - 11*o + 13. Let i be n(0). Is i <= -10?
True
Let f be 0 - ((-5 - -3) + -7). Suppose 6*m = m + i + 25, -2 = -3*m - 2*i. Suppose -p + m = -5. Is p equal to f?
True
Suppose -2*y + 2 = -3*y. Let q be -4 - y/20*41. Is 1 != q?
True
Let p(m) = -m**3 - 14*m**2 - 20*m - 45. Let f be p(-14). Is 234 < f?
True
Let s be 44/(-14) + 2/2. Let a be (5/(-25))/((-19)/(-95)). Are a and s nonequal?
True
Let y be (-1881)/207 + 9 - (-129)/161. Is y not equal to 27?
True
Suppose 0*a + 4 = -a - 2*c, 2*c + 6 = 0. Let t(q) = q**2 + 10*q. Let k be t(-10). Is k < a?
True
Let h(p) = p + 6. Let r be h(-16). Let m be 3 + r/(-8)*-2. Is 3/5 at least as big as m?
True
Let n be (-11)/(-5)*(-15)/42. Are -1 and n non-equal?
True
Let y(v) = -v**3 - 6*v**2 + 9*v + 4. Let t be y(-7). Let o = -13 - t. Let q be -3 - o - (1 - 3). Which is greater: q or 3?
3
Let w be ((-67)/66*-3 - 3)*-10. Which is bigger: 1 or w?
1
Let c = -12.4 + -13.9. Let f = 26 + c. Is f at most as big as -1?
False
Suppose 5*a = -10, h = 28*a - 31*a + 354. Which is bigger: 362 or h?
362
Let z(c) = c**3 - 10*c**2 - c - 1. Let r be z(9). Let d = -75 - r. Is 14 not equal to d?
True
Let x = -0.89 + 2.69. Let w = x + -0.8. Is -26 at most as big as w?
True
Let b = 15 - 15.03. Let a = b + -18.97. Let f be 3 - (32/(-2))/(-4). Is f at least a?
True
Let z be ((-1)/(-134))/(-9 + 171/18). Which is smaller: z or 1?
z
Let h = -7.48 - -5.83. Does 2/5 = h?
False
Suppose -h + 0*h = -1. Let p be (-1946)/18676 + (-2)/(-23)*1. Which is bigger: p or h?
h
Let x be (-14390)/(-150) + (-8)/6. Let r = x + -95. Are 0.1 and r nonequal?
True
Suppose 0 = -u + 3*p - 674, -5*u - 1609 = -p + 1691. Is -658 bigger than u?
True
Suppose -5*w + 2*p = -26, -3*p - p - 4 = 2*w. Suppose 0*q = w*q + 2*m + 72, -5*m = 5*q + 85. Is -18 equal to q?
False
Let n be (1 + -6)*(-3)/5. Suppose -n*y = -5*y - 4. Let u = 1.81 + -1.71. Are y and u non-equal?
True
Let w = 649 + -649.07. Let c be 6/5 - (-1)/(-5). Which is smaller: c or w?
w
Let b = 4.943 - -0.057. Let l = -4 + b. Let u be -34*(-3)/42 + -2. Which is smaller: l or u?
u
Let u be (-4)/(-3)*(-24)/(-16). Let a be -6*25/(-1) + u. Let y = a - 3951/26. Which is greater: y or 0?
y
Let l = -1.27 + 0.07. Let w = l + 0.2. Let y = 0.1 - 17.1. Which is bigger: w or y?
w
Let c(u) = -u**2 + 10. Let l be 1/3*(-1 - -1). Let r be c(l). Let s be (-8)/r - (2 + -5). Which is greater: 3 or s?
3
Let p be (-2)/(-12) - (250/(-30) + 8). Are p and -1/5 equal?
False
Suppose -3*l - 2*l + 5 = 0. Suppose -36 = 4*b - 644. Let q = -3345/22 + b. Which is smaller: l or q?
q
Let s = -387 + 385. Let d be (-15)/(1 - 5/7). Let u = -54 - d. Which is smaller: u or s?
s
Let i be (-8)/(-9)*(-6)/(-104). Let a(u) = 2*u + 6. Let j be a(-2). Suppose 0 = z - 5, 5*c - j*z + 5 = -10. Which is greater: c or i?
i
Suppose -147 - 123 = 2*q. Let r be (-18)/q - (-1006)/105. Let h = 66/7 - r. Which is bigger: h or -0.4?
h
Let h = 23508 + -15538782/661. Which is smaller: h or 0?
0
Let 