(113/(-19) - -6). Are 2 and q unequal?
True
Let b be (1 + (-4)/2)*(-60 - -1). Let t = -67 + b. Which is smaller: -6 or t?
t
Suppose t + 5*q = 2*q + 27, -38 = -4*t + 2*q. Suppose s + 2*s - 57 = k, 2*k = -6. Let a = s - t. Is 6 at most a?
True
Let w = -1.381 - -1.46. Let n = w + 0.021. Is n at least -5/14?
True
Let y be 6/3 + -4 + 24. Let x be (2/4)/(4/16) + 0. Let z be (-8)/x - (-3 - 23). Is z at most y?
True
Let i = -49 - -112. Suppose 11 = 2*h + i. Let b(g) = -7*g + 30. Let k be b(8). Is h < k?
False
Let r = 2231/270382 + -4/1519. Which is greater: r or 0?
r
Suppose 0 = 3*r - 3*c + 208 + 5, -9 = 3*c. Let n = r + 220/3. Which is bigger: -0.2 or n?
-0.2
Let q(o) = -13*o + 106. Let k be q(8). Are -15 and k nonequal?
True
Let o = 12 + -10. Suppose 1 = s - o*s. Is s != 1?
True
Let f = 0.01 - 0.41. Let w be (-2)/(-1)*(-600)/(-112). Let n = -11 + w. Which is smaller: n or f?
f
Let s = -29/11 - -552/55. Let h be 8322/1155 + 6/21. Let l = s - h. Is l less than 2/7?
True
Let o = 1 - 27. Let s be 20/(-8)*o/5. Are s and 12 unequal?
True
Let f = 115 + -120. Are -12 and f non-equal?
True
Let v = 10.9 + -10.7. Which is greater: v or 4.89?
4.89
Let a = -27 - -43. Suppose -14 = 3*v + 5*j, 0 = -v - 4*j - 10 - 4. Which is bigger: v or a?
a
Suppose -5*t + 17 + 13 = 0. Suppose -t*q + 3*q = -3. Let g be 26*(-6)/36 - -4. Is q at most as big as g?
False
Let n = 143 + -143. Which is smaller: n or 154?
n
Suppose 8*g + 433 + 143 = 0. Let m = g + 60. Which is smaller: 2 or m?
m
Let w(h) = -h + 13. Let u be w(13). Suppose 0 = -5*x - 5*o - 55, u*x = 2*x - 4*o + 28. Let s = -14 - x. Which is smaller: s or -5/3?
s
Let s be -1 + 1 + 2 + -1. Suppose -t = 3*m - 0*m + 15, -20 = 4*m. Let v be (t + 1/37)/((-1)/2). Is v greater than or equal to s?
False
Suppose 108 = f + 4*f - 4*y, 0 = 4*f - 4*y - 84. Suppose f*m - 39 = 21*m. Is 14 not equal to m?
True
Let n(c) = -34*c + 1. Let y be n(1). Suppose -p - 168 = 5*f, p = 2*f + 10 + 53. Is y at least f?
True
Let l = 9.9 + 22.5. Which is greater: l or -2/5?
l
Let i = -1.5 + -3.5. Let j = 3 + i. Are j and -0.1 non-equal?
True
Let v(q) = -q**2 + 2*q + 1. Let o be v(2). Let b be (-2)/(1*(o + -3)). Which is smaller: b or -2?
-2
Suppose -5*q = -0*q - 3*a + 233, -4*q + 2*a = 188. Let o(j) = j**3 - 30*j**2 + 81*j - 2. Let m be o(27). Let x be 28/q*7/m. Are -1 and x equal?
False
Let u(k) = 2 + 2 - 4 + k. Let l be u(-1). Let t be (-76)/(-133)*(-14)/(-12). Which is greater: t or l?
t
Let v be (-182)/28 + (-6)/(-4). Let j(i) = -4*i - 8. Let k be j(v). Suppose 20 = 4*z, -3*h - 6*z + 64 = -z. Which is greater: h or k?
h
Let c be 2/5*(-5)/(-51). Let l(t) = t + 14*t**2 + 16*t**2 - 29*t**2. Let g be l(-1). Are c and g non-equal?
True
Let i = 5 - 21. Let o = i - -10. Let w = -0.98 - -1.98. Is o bigger than w?
False
Let d be 26/75 + (-2)/(-15). Which is smaller: d or 2?
d
Let l be (6/(-5))/(21/(-70)). Let j(a) = 3*a. Let t be j(l). Suppose 4 = 2*o + t. Is -4 < o?
False
Let k be (-2)/(-6) - 4/(-6). Let c = -3272/242715 - -2/1471. Which is smaller: c or k?
c
Let h be (-19)/((-209)/33) + -1*2. Which is smaller: 348 or h?
h
Let n be 776/(-9) + (-12)/(-54). Let o = n + 121. Suppose 5*f - 2*m = m - 57, 2*m - o = 3*f. Which is greater: -10 or f?
f
Suppose 2*a + 3*a = -115. Let z(d) = -5*d**2 - 3*d + 3. Let s be z(2). Let o = a - s. Is -5 at least o?
False
Let w = 13849/19586822 - 6/5939. Which is smaller: w or 0?
w
Let q = 956339/322 - 2970. Which is bigger: 1 or q?
1
Let z = 155/12 - 4199/300. Is z at most 0?
True
Let y be (3 - 1)*(-3)/(-6). Let g(x) = 2*x**2 + 9. Let q be g(0). Let z(c) = c**2 - 8*c - 8. Let s be z(q). Is s less than y?
False
Suppose 0 = -3*s - i + 11, 3*s - 2*s - i - 5 = 0. Let v be (-24)/8 - (3 + 0). Let c be 3/(-9)*-10*v/(-4). Which is bigger: c or s?
c
Suppose -6*n = -4*n + 5*n. Suppose i + n = z + 8, 0 = z + i + 14. Which is greater: z or -10?
-10
Suppose -3*x + 4*j + 7 = 0, -4*j = -4*x + 6 - 2. Suppose 15 = 3*q - 3. Suppose 0 = -q*d + 2*d. Are d and x equal?
False
Let v = 209.6261 - 209.5. Which is bigger: 2/7 or v?
2/7
Suppose -2*k + 33 + 1 = 0. Suppose 2*w = k - 5. Let s be 141/102 - 9/w. Which is bigger: s or -2?
s
Let k(o) = 2*o + 4. Let p be k(4). Let j be 9 - 6 - (3 - -1). Let v be j/(-4)*(-80)/(-70). Is p less than v?
False
Let x be 3/1 - -6 - 5. Let n be 2 + (-7)/x - (-2)/(-8). Is n greater than -2/81?
True
Let o(d) = d**2 - 14*d + 13. Let k be o(13). Which is smaller: k or 1/105?
k
Suppose 5*c + 2*j + 1965 = 130, 4*j = -c - 349. Is -370 smaller than c?
True
Let o(l) = -2*l**3 + 7*l**2 + 4*l. Let h be o(4). Are h and 1/118 non-equal?
True
Let z be (2/(-6))/(2/3). Let c be -1 - (2 + -1)*-6*1. Suppose -4*f - 5*g + 12 = -f, c*f + 20 = 5*g. Is f equal to z?
False
Suppose -4*p = 16, -3*t + p + 6 = 14. Is t < 4.6?
True
Suppose -4*b + 2*b = 8, 3*f + 7 = -4*b. Suppose -4*l - 13 = -f*o, -l - 5*o = l - 13. Which is greater: l or -8/9?
-8/9
Suppose 2*k = -b + 5 - 3, -2*k = 3*b - 2. Let y be (11 + (-272)/24)*(-6)/79. Is y != b?
True
Let g(a) = -2*a**3 - 10*a**2 - 8*a + 1. Let x be g(-1). Which is bigger: x or -4/101?
x
Suppose -1094*c + 1096*c - 656 = 0. Which is greater: 1 or c?
c
Let f be (-26)/(-4) + (-2)/(-4). Let m = 5 - f. Let g be (-8 - -6) + (-20)/m. Is g greater than 8?
False
Let u = -1969 - -1190. Which is smaller: u or -0.1?
u
Let u be (-1)/(6*15/504). Suppose h = 3*h + 12. Is u equal to h?
False
Let a be (98/(-7))/(4/(-2)). Suppose a*j + 6 = 13*j. Which is greater: j or 0?
j
Let o be (-21 + 9)*(1 - 2). Suppose -3*a = 2*w - o, 3*w - 8 = 2*a - 3. Is 3 greater than w?
False
Suppose 3*z + 2*z - 4*m = -27, -m = -z - 5. Let l(h) = h**2 + 6*h - 3. Let w be l(z). Suppose -2*a - 5*q = -26, w*a + 0 + 4 = 4*q. Is 2 > a?
False
Let u = 11 + -14. Let d be (26/16)/(-6 - u). Let a = d + 121/312. Is 0.2 at least a?
True
Let l be ((-9)/(-6)*1)/(15/(-220)). Which is greater: l or -16?
-16
Suppose 20*t - 28*t = -5232. Let s be 2 + (t/(-396) - 6/33). Is s less than or equal to 0?
False
Suppose 0 = -30*f + 27 + 93. Which is smaller: f or 39?
f
Let m be 168/108*(-4)/(-7). Which is smaller: 0 or m?
0
Let r = 18572 + -18525. Let j be ((-8)/6)/(4/(-138)). Which is smaller: r or j?
j
Suppose -3*q - 4 = -2*h, 6 = -2*h + 4*h - 4*q. Let u = 2115720204394/3869945622543 + -18/220020787. Let y = 2/1599 - u. Is y not equal to h?
True
Let r = 168 - 669/4. Let d = -136 - -140. Suppose d*w = -3*c + 3, 0 = 4*c + w - 2 - 2. Which is bigger: r or c?
c
Let c = -1685 + 2200. Are 514 and c equal?
False
Let s = 13 + -9. Let r be (2/6)/(s/12). Which is greater: 2/67 or r?
r
Let s = 1087 + -1296. Which is smaller: s or -0.2?
s
Let a be ((-66)/5)/(-3*(-2)/30). Let r be 57/a + (1 - 0). Which is bigger: r or -1?
r
Let m = 4949/25 + -198. Let k = 22/75 - m. Which is smaller: -1/3 or k?
-1/3
Let o = -12 - 11. Let n = o - -22.9. Are n and 11 equal?
False
Suppose 4*v = 8*v - 68. Let k = -12 + v. Suppose y - 4*y = -15. Is y < k?
False
Let h = -35 + 48. Do 14 and h have different values?
True
Let q = -639 - -640. Let n(m) = m**3 + 8*m**2. Let g be n(-8). Which is smaller: g or q?
g
Let d = -5943 - -65421/11. Is 5 less than or equal to d?
False
Let h = 0.171 + -0.071. Is h at most 0.087?
False
Let z be (-27)/12 - 2/(-8). Let t be ((-14)/8 + 2)/z. Let k = 391 - 390. Is t bigger than k?
False
Let u = 584 + -25. Do 560 and u have different values?
True
Let s be 444/220 + 1/(-5). Which is bigger: 2 or s?
2
Let h be 1*303/27 + (-4)/18. Suppose -2*w = -17 - h. Which is smaller: 13 or w?
13
Suppose -5*r + 4 + 1 = 0. Suppose 16 = 6*q - 4*q. Suppose 0 = q*f + f - 27. Is f < r?
False
Let u(i) = -i**2 - 8*i + 13. Let w be u(-9). Suppose -j - w = -10. Suppose 0 = 5*g + 26 - 41. Which is greater: g or j?
j
Let g be -7*(-2 - (3 + (-228)/46)). Let b = 100/253 - g. Which is greater: 0 or b?
b
Let p = 31905 + -32042.93. Let l = 139 + p. Let c = l - 0.07. Is c < 1?
False
Let f(h) = h**3 - 6*h**2 + h - 3. Let r be f(6). Let j be (5/(-2))/(1/2). Let i = j - r. Is i bigger than -1?
False
Suppose 2*m + 0*m = 0. Suppose -v = -m*v - 8. Suppose 3*w - 6*w + 24 = 0. Are w and v nonequal?
False
Let s = -1732 - -989. Is s less than or equal to -743?
True
Suppose 6*h - o - 27 = -26, h + 4*o = 21. Which is bigger: h or 11/58?
h
Let f be (125/(-250))/(2 + -4). Which is smaller: f or 435?
f
Let y = 474 - 509. Is