- -2.81. Let y = -0.04 + z. Let r = 12.5 - 13. Which is smaller: y or r?
r
Let n = -88 - -89. Let x = 1 - 3. Let c be (n/x - -1)*0. Is c at most as big as -2/5?
False
Let x = 0.43 - 0.03. Let s = x - 0.5. Which is bigger: 0.8 or s?
0.8
Let j = -5 - -4. Let w be (-4)/6*(-9)/129. Which is smaller: j or w?
j
Let w = -0.627 + 0.61. Let l = -0.017 - w. Let t = -2 + 0. Is l greater than t?
True
Let t(q) = -5*q + 1. Let m be t(-4). Let c be m + ((-6)/2)/3. Let v be c/6*(-72)/60. Is v >= -5?
True
Suppose o + 3*b - 11 = 0, -33*o + 32*o = -5*b + 13. Which is bigger: 3 or o?
3
Suppose 6 = -2*u, 4*d - d = 2*u + 12. Suppose -2*o = 0, -m = -3*o - d - 5. Suppose -q + 4 = 2*z - m*z, 2*z - 4*q = -16. Is 5/7 equal to z?
False
Suppose -27 = -42*r - 447. Is r smaller than -83/9?
True
Let c be 4/(-72) + 4/8. Suppose -2*g = -3*v - 18 + 8, 3*v - 25 = -5*g. Is c smaller than v?
False
Let d(x) = -x + 6. Let j be d(3). Suppose -j = -2*o - 5. Which is smaller: 1/48 or o?
o
Suppose 0 = -36*k + 33*k - 27. Is -1/2 less than or equal to k?
False
Let q be ((3 - 1) + 12)/(-1). Are q and -85/6 equal?
False
Let b = -130 + 129.927. Let c = -3.073 - b. Is c less than or equal to 0.09?
True
Let v be 3 + 34*1145/(-12970). Do v and -1 have the same value?
False
Let o be 36/24 - 1/(-2). Suppose a + 5*r = -4 - 10, -o*r - 6 = 0. Which is bigger: 2/27 or a?
a
Let h = 5 + -6. Let a be ((-2)/1 - h) + 7. Do 6 and a have the same value?
True
Let y = 2.9 + -3.12. Let c = y - -13.22. Let i = 13.2 - c. Which is smaller: -4 or i?
-4
Let q be (2/(-4))/((-81)/(-6)). Are q and 1 unequal?
True
Let p be 10 - (7422/390 + -9). Suppose 5*z = -3*g - g + 25, 0 = 2*g - 10. Is p >= z?
False
Let o = 88 + -355/4. Is o <= -2?
False
Let s be (-22)/(-33) + (-2)/(-24). Is s greater than -1?
True
Suppose 3*x + 2*a + 2 = 18, -3*x - 4*a = -20. Let r(h) = 2*h. Let k be r(x). Suppose k*u = 3*u - 5. Is 2/19 greater than or equal to u?
True
Let y be 24 + 2*(0 + -3). Suppose 0 = 5*h - 2*v + 37 - 124, -5*v + 29 = 2*h. Is y at most h?
False
Suppose 0 = 5*h + 2*x - 19 + 9, -4*h = 5*x - 25. Which is smaller: -6 or h?
-6
Let l(s) = s**2 + 10*s - 1. Let b be l(-11). Suppose -4*k - b = 2. Are 0 and k non-equal?
True
Let i be 6/18 - 14/6. Suppose -2*c = c + 3*s + 15, 3*c = -2*s - 14. Let z be 12 + 1/(i/c). Do 13 and z have different values?
True
Let v be (-1)/3 - (-254)/6. Let o be (-30)/v - 2/(-2). Let b = -13 + 13. Do b and o have different values?
True
Let b = 12.0731 - 0.0731. Is 4 greater than or equal to b?
False
Let n be -6 + 33*66/360. Let v = -6 - -6. Suppose 4*a - 20 = v, 3*a + 10 = 5*i + 25. Which is smaller: i or n?
i
Let b = -0.11 + -2.49. Let h = b - -4.1. Let y = 1 - 2. Is h greater than or equal to y?
True
Let i = -23 - -32. Let z(p) = p**2 - 10*p + 12. Let w be z(i). Suppose 4*u = w*h - 14, 3*h + 19 = -3*u - 2. Are -2 and h nonequal?
False
Let y be (1*2)/(302/1661). Which is bigger: 39 or y?
39
Let a(t) = -2128*t + 8515. Let k be a(4). Let x be 21/8 - (-2)/(-8). Which is bigger: x or k?
k
Let c(s) = 2*s**2 + 4*s - 56. Let f be c(-10). Is f < 104?
False
Let b = 9.355 - -0.075. Are b and 0 equal?
False
Let x = -0.045 + 0.235. Let m = x + 1.81. Which is smaller: -3 or m?
-3
Let j(g) = -g**3 + 7*g**2 - 7*g + 7. Let t be j(6). Let y(l) = -10*l - 12. Let v be y(-5). Let p = v - 153/4. Is p greater than or equal to t?
False
Let k = 37073/13 - 2852. Is 4.2 greater than k?
True
Let q = -4395/56 + 609/8. Which is greater: -2 or q?
-2
Suppose 3*u - 5*u + 80 = 0. Suppose s - 5*s - u = 0. Let i = -21/2 - s. Is -3 < i?
True
Suppose -117*w = -118*w + 71. Let f = -71 + w. Which is bigger: 1/20 or f?
1/20
Let l = 1338 + -1213. Which is greater: 115 or l?
l
Let c(u) = -2*u**3 - 35*u**2 - 65*u - 16. Let o be c(-15). Is o >= -1/4?
False
Let n = -59 + 44. Let r be (n/180)/((-1)/(-3)). Is 1/4 greater than r?
True
Let c(n) = n**3 - 22*n**2 - 24*n + 24. Let r be c(22). Let b be (2*3 - 1)*r/(-105). Which is bigger: 25 or b?
25
Let h = 917 - 915. Is 33/23 greater than h?
False
Suppose -4*n = 3*w - 0*w - 518, 0 = 2*w - 4*n - 372. Which is smaller: 180 or w?
w
Let c(g) = g**3 - 8*g**2 - 22*g + 25. Let h be c(10). Is h smaller than 0?
False
Let s(f) = 189*f + 2. Let q be s(6). Let g be 4/38 + q/(-7904). Let l be (1 + (2 - 2))*1. Is g equal to l?
False
Let f be (45/(-12))/((-3)/2). Let i = -10774 + 236981/22. Let t = f + i. Does t = -1?
False
Let v = -616 + 4913/8. Suppose -4*p = -2*w + 18, 3*w + 19 = 4*w - 4*p. Does w = v?
False
Suppose 3*t + 661 + 3993 = -l, l = -1. Is t greater than -1551?
False
Suppose 5*a - 2*a = 39. Let v = a + -13. Suppose -5*z = -v*f - 3*f + 3, 0 = -5*f - 3*z + 5. Do -2/5 and f have the same value?
False
Let x = -37 - -75. Let s be (-12)/42*(-14)/8*74. Does s = x?
False
Let b = 897/14 + -139031/2170. Which is bigger: 1 or b?
1
Suppose -5*l = -0*l + 3*q - 34, 28 = 3*l - 2*q. Suppose 7*g + 9 = l*g. Let u(s) = -5*s. Let h be u(-2). Which is smaller: g or h?
g
Suppose 15 = 5*d, -o - 2*d - 4 + 9 = 0. Suppose -4*k - h + 13 = -4*h, 19 = 5*k - h. Let g be 12/(-19)*2/k. Which is smaller: g or o?
o
Let z = -1630 + 1652. Is z at most 148/7?
False
Let a be (-7)/14 + 2 + 2/(-4). Is a at most 20/53?
False
Let l = 10.43 + -10.33. Is -18/5 smaller than l?
True
Suppose 1606 + 5534 = -42*f. Which is smaller: 0.1 or f?
f
Suppose 155 = a + 4*a. Suppose 7*z - 2*z = 140. Let s = a - z. Are 2 and s nonequal?
True
Suppose 0 = o + 4*o - 70. Suppose 0 = 9*u - o*u. Suppose u = 8*h - 4*h - 12. Is 4 > h?
True
Let z = -217 + 245. Are z and 26 nonequal?
True
Let o be 560/70 + (-7 - 1). Is o <= -2?
False
Let g(v) = v**3 + 4*v**2 + 2*v - 2. Let o be g(-2). Let i be (-21)/6 - (o + -1). Let r be -1 + 1 - (-2 - -8). Is r > i?
False
Let j = -0.133 + 2.613. Let d = j - 0.48. Which is smaller: d or 11?
d
Let c = -32 + 85. Let w = c - 47. Suppose -4*o + 5*f = -o - 25, -2 = f. Are o and w equal?
False
Let d = -91.1 + 99.085. Let x = d + 0.015. Let j = -5 - -6. Is j < x?
True
Let o = -444.9289 + -0.0711. Is o > -2/7?
False
Let h = -66 - -64. Let n be (-2)/(-3) - (-200)/24. Is h <= n?
True
Let i = -79.113 - -79. Let p = i - -1.613. Let r = 106 - 528/5. Which is smaller: p or r?
r
Let j be -35*(-1)/(-18) - (-48 - -46). Suppose 0 = -4*s + 3*h - 19, -2*s + 10 = 5*h - 13. Which is bigger: j or s?
j
Let h(n) = n**2 - 9*n + 12. Let g be h(9). Suppose 2*p = -v - 2*v - 9, -3*v = 3*p + g. Suppose 13 = 4*o + 9. Do v and o have different values?
True
Let p be (-12)/(-1 - ((-6)/2 - -13)). Let r = p + -13/22. Is 0.6 != r?
True
Let y be 0/4 - 10/65. Is 25 >= y?
True
Let g be (24/(-27))/(2/(-9)). Let b be (g/48)/((-3)/136). Which is bigger: b or -4?
b
Let c be (0 + -1)*(-80 - -7). Let i = -74 + c. Let w be (0 + 2)*1/5. Is w > i?
True
Suppose -p = f + 3, 3*p + 12 = -0. Suppose f = -2*q - 3. Which is smaller: q or 18?
q
Let p = 178 + -156. Which is smaller: 0.3 or p?
0.3
Let q(y) = 5*y**3 + 105*y**2 - 2*y + 45. Let c be q(-21). Is c at most as big as 86?
False
Let w(o) be the second derivative of o**5/20 - o**4/3 + 2*o**3/3 - 3*o**2/2 - 5*o. Let n be w(3). Let v be ((-15)/6 - -3)*n. Is v greater than or equal to 1/7?
False
Let q = 18 - 14. Suppose a - 18 = -2*a. Let x be 6/(-36) + 25/a. Is q at most x?
True
Let v = -7 - -1. Let o = -5.82 - v. Let q = o - 0.48. Does q = -1/3?
False
Let u = -96 - -85. Which is smaller: -15 or u?
-15
Suppose n = 5*h + 580, 8*h - 5*h + 582 = n. Are 586 and n unequal?
True
Let q = 141 + 48. Let f be 1/3*q/9. Is f < 7?
False
Let g = 1024 + -1023. Which is greater: g or -1?
g
Let i = 0.5 + -0.3. Let w = 44 - 26. Let q = w + -13. Are q and i nonequal?
True
Let n be (12/15)/(-3 + (-5)/(-25)). Which is greater: -627 or n?
n
Let r(l) = -2*l - 16. Let d be r(-8). Suppose d = 2*q + 2. Is q at most as big as 6/19?
True
Let n = 5552/5 - 1111. Which is bigger: n or 196?
196
Let t = -0.23 - 0.07. Let q be (2 - 3)/((-7)/28). Suppose 0 = -3*w - 10 + q. Which is bigger: w or t?
t
Let s be 1/(2*(-1)/8). Let p be 2/(3*s/(-6)). Suppose -u - 2*w = p - 8, 2*w - 3 = -5*u. Are u and 3/7 non-equal?
True
Suppose -713 = -3*t - u, 3*t - 497 = t - 5*u. Suppose 187 = -3*s - 4*l, 3*s = -s - 2*l - t. Which is smaller: -56 or s?
s
Let w = 2 + -3. Suppose 0 = -0*t + 2*t - 16. Let k be t/(-24)*(-42)/4. Which is greater: k or w?
k
Suppose 2*r + 5*b = -24, 0 = 2*r - r + 5*b +