ler: h or -1/2?
-1/2
Suppose 2*o + 114 = -2*g, 5*g - 2*o + 166 = -84. Is -67 at most as big as g?
True
Let h be -2 + 5 + (-3)/3. Suppose r = 2 + h, -16 = -4*c - 2*r. Let x be (3/c)/((-9)/(-4)). Is x at most as big as 1?
True
Suppose m + 279*d - 278*d = 278, 2*m = 3*d + 576. Which is bigger: 285 or m?
285
Suppose -3*j = -4*y - 345, -3*y + 3*j - 351 = -93. Let o = -94 - y. Which is bigger: -8 or o?
o
Let z = -22.99 + 19.19. Which is smaller: z or 7?
z
Let m = -1592/9 - -92327/522. Let o = -1 - -1. Is m greater than or equal to o?
False
Let u be -6*4/(-8) - 4. Let c(f) = 25*f**2 - f - 1. Let n be c(u). Suppose -2*q - 3*q - 3*t + n = 0, 5*t = 4*q - 20. Does q = 6?
False
Suppose 0 = 2*l + 2*l - 176. Suppose 0 = -7*u + 11*u + l. Which is smaller: -19/2 or u?
u
Suppose -5*a = g - 15, 0 = -g + a - 5*a + 12. Suppose 0 = -d - 2*s + 2, g = -2*s - s + 12. Which is smaller: d or -5?
d
Let a = -0.0029 + 0.0129. Is -22/5 != a?
True
Suppose 3*p = -3*f + 24, -2*f + 10 = 5*p - 4*p. Suppose -8*i + p*i + 34 = 0. Do 16 and i have different values?
True
Let c = -8.3 - -1.3. Let n = 7.05 + c. Let o be (1/2)/(1/2). Which is greater: n or o?
o
Let v(f) = f**3 + 7*f**2 + 8*f + 11. Let p be v(-6). Let l be 4/10 - 8/20. Suppose l = -2*w - 2*w + 2*h - 2, -3*w + 5*h = -2. Do w and p have the same value?
True
Suppose 17 = 3*f - 1. Let i be (60/50)/(f/20). Suppose k + 7 = x - i*x, -x = 2. Is 0 greater than k?
True
Let v(y) = -4*y**3 + 5*y**3 + y - 1 - y**2 - 5*y - 3. Let d be v(-2). Is d <= -7?
True
Let p be (-15)/(-1815)*22 - 18/(-22). Which is smaller: -16/97 or p?
-16/97
Let k = -35 + 35.1. Let t = -11506/17 + 677. Let r = -5/68 - t. Is k smaller than r?
False
Let t = -31 + 123/4. Let b = -1.9 + 10.9. Let x = 9.2 - b. Is x at least as big as t?
True
Let f = -10/19 + 191/399. Suppose -5*z + 4*o = 35, 4*z - o - 13 = -6*o. Let h be 0 - 0/((-9)/z). Is f equal to h?
False
Let s be (1/(-3))/((-7)/(-6)). Let x be (1/(-4))/((-30)/(-312)). Is x != s?
True
Let h = -41533/1045 - -438/11. Which is greater: h or 0?
h
Let h be (-6)/116*12/(-9). Are 1 and h equal?
False
Let t be ((12/(-6))/4)/(2/36). Let b = t + 4. Let q be (9/6)/((-2)/4). Which is greater: b or q?
q
Let j = -2 + 2. Let v(x) = 7*x + 82. Let k be v(-11). Suppose -6*n + n - k = j. Is n smaller than 13?
True
Let o be 1 - 4 - ((-23)/9 + 4/18). Let h = -0.1 + -0.1. Let i = h - -0.3. Is i greater than o?
True
Suppose 0 = -28*j - 14865 - 13863. Which is smaller: 1 or j?
j
Let p = 98 - 96. Suppose 0 = 5*y - 3*w + 6*w + 54, 2*y = -p*w - 20. Is -10 not equal to y?
True
Let k be 3 + 22/(-8) + 516/(-912). Let u = -43/76 - k. Let n = -0.8 + -0.2. Which is smaller: u or n?
n
Let j = -1 + -5. Let m be 799/(-141) - (-2)/(-6). Is j < m?
False
Let d be ((-150)/4)/3*(-189)/(-3885). Is d greater than or equal to -2?
True
Let y(l) = l**3 + 6*l**2 + 3*l - 2. Let w be y(-5). Is w greater than 16?
False
Let x = 18 - 22. Let u = -21 - -18. Which is smaller: u or x?
x
Suppose -12 - 8 = 2*g - 4*c, -4*g - 5*c + 12 = 0. Let m be 82/(-78) - (g + -2 - -3). Which is smaller: m or 0?
m
Suppose 2*m - 3 = -1. Suppose 3*y - 8 = 2*l, -5*l - m = y + 2. Is l at least as big as -9/5?
True
Suppose -4*u + 2*p = -12, -p - 3*p = -5*u + 21. Let h = -4 - u. Let v(r) = -r**3 - 6*r**2 - 6*r - 4. Let t be v(h). Is -2/5 < t?
True
Suppose 10 - 76 = -6*c. Suppose -231 = -5*l + 5*t - c, -4*l + 168 = 4*t. Is 44 smaller than l?
False
Let g(m) = -2*m**2 + m - 5. Let u be g(-5). Let i = 78 + -80. Let x be (u/48)/((-3)/i). Is -2 at least x?
False
Suppose 0 = -2*w - 3*l - 51, -4*w = 5*l + 94 + 3. Which is smaller: w or -22?
-22
Suppose 26*f - 8 = 22*f. Suppose -5*a - 2*q = 3*q + 30, -f*q + 28 = -3*a. Let n be -18*(28/a)/7. Is n less than or equal to 11?
True
Let f = 20.9 + -139.9. Let u = f - -120. Let g = -6 + 13. Is g less than u?
False
Let a = 41 - -18. Let t = 57 - a. Are -1 and t non-equal?
True
Suppose 0*x - 56 = 4*x. Do x and -170/11 have different values?
True
Let c = 1.6 + 91.4. Let p = 93 - c. Which is bigger: p or 3/82?
3/82
Let o = 449/2 + -213. Which is smaller: 1 or o?
1
Let j(f) = f - 8. Let q be (28/35)/(4/30). Let o be j(q). Let s be (o/6)/((-2)/24). Which is bigger: s or 3?
s
Suppose -3*g + 55 = 2*w - 2*g, 2*g = -10. Let y be (-5)/w*3*0. Which is smaller: 12/13 or y?
y
Suppose 0 = -5*t + t - 48. Let i be (-147)/t + (-2)/8. Suppose 5*v = 3*v + 5*k - i, 5*k = 3*v + 13. Which is greater: 0.1 or v?
0.1
Let h be 45/((2 - 1) + 0). Let s be (-1 - -2) + (1 - -44). Does h = s?
False
Let g be ((-18)/(-72))/((-2)/8). Let o be -1 + g + 81/39. Which is smaller: o or 1?
o
Let v(g) = g**2 + 2*g + 3. Let x be v(-9). Suppose 3*c = -3*c + x. Let l be (((-10)/c)/5)/5. Which is smaller: -1 or l?
-1
Let b = -2.45 + -0.45. Let p = b - -3. Are 1/2 and p unequal?
True
Let m(z) = -2*z + 4. Let g(t) = 1. Let c(o) = 2*g(o) + m(o). Let l be c(-3). Let b = 10 + -9.9. Is b < l?
True
Let t = -115 - -80. Is t less than -35?
False
Let l = -386826/101 + 3830. Are 0 and l equal?
False
Let x be (14/(-15))/(396/495)*(-2)/14. Let t = -3 + 4. Which is smaller: x or t?
x
Let t(v) = 4*v - 3. Let b(g) = 3*g - 4. Let s(n) = 6*b(n) - 5*t(n). Let j be s(7). Which is bigger: -21 or j?
-21
Let g(z) = 2*z + 17. Let i be g(-5). Which is smaller: i or -0.1?
-0.1
Suppose -4*o + 116 = 2*w, -o + 0*o - 3*w + 24 = 0. Let n be (6024/(-3549))/(o/(-7)). Let z = -2/507 - n. Which is smaller: z or -1?
-1
Suppose 5*m - 164 = 2*t, 3*t = 5*m - 256 + 95. Let w be -1 - -1 - 2/m. Which is bigger: w or -1?
w
Let a(m) = -m**2 - 7*m - 3. Let y be a(-6). Let l be (y + 1)*14/(-8). Suppose 2*s - 23*j = -28*j - 27, 2*j = s. Which is smaller: l or s?
l
Let t be (-1 - (2 + 4))*1. Suppose 5*h - h = -56. Let c be ((-6)/(-12))/1*h. Is c less than t?
False
Suppose 4*n = -3*h + 13, 5*n - 4*n + 1 = -5*h. Suppose -93 = -4*i + 2*r + 55, -3*r - 150 = -n*i. Let a = -71/2 + i. Is 2 bigger than a?
True
Let u = 391 - 391.14. Which is smaller: u or -1/15?
u
Suppose -19 = -4*c - 3. Suppose -5 + 1 = -4*n. Let d be ((-1)/n)/((-2)/6). Is d smaller than c?
True
Let n be 29*-1*(-2 + 0 + 1). Which is smaller: n or 229/8?
229/8
Let d be (430/165)/((-1)/(-8)). Let h = -5114/3 - -1684. Let n = h + d. Is n < -2?
False
Let l(r) = 304*r - 1197. Let k be l(4). Suppose -7*z + 84 = -3*z. Is z at most k?
False
Let z = 578/3 - 194. Let p = -7.9 + 8. Let d = 1.1 - p. Is z less than or equal to d?
True
Suppose 5*f + r - 394 = 0, -40*f + 2*r + 148 = -38*f. Which is greater: f or 84?
84
Let u(f) = -19*f - 4. Let k be u(-1). Do 11 and k have different values?
True
Let z = -155 - -386. Let m be 2*(z/6)/11. Is m greater than 68/9?
False
Let i(g) = 105*g + 109. Let h be i(4). Is h at most as big as 530?
True
Suppose 284*l - 12 = 287*l. Which is smaller: l or 8?
l
Let m be (0 - -1) + (-11)/13. Let d = 4636 + -4636. Is m smaller than d?
False
Let z = 46 - 16. Let k = 45 - z. Suppose -2*j - 3*j = -k. Which is smaller: j or -2?
-2
Let v = -21.9 + 22. Let u = -17/4 - -157/36. Is v at least u?
False
Let u = -26.09 - 2.51. Let a = u + 29. Let k be 4/30*(-2 + -1). Which is bigger: a or k?
a
Let o = -4 - -7. Suppose -o*r + 7 = -5. Suppose -n - 5 = -m - 4*n, -r*m + 3*n + 5 = 0. Are m and 4 non-equal?
True
Let r = -24.9 - -98.9. Which is smaller: -2/9 or r?
-2/9
Suppose 4*q - 5*o = 855, -3*q - o = -2*o - 633. Let d = 831/4 - q. Let h(z) = -z**2 - 5*z - 5. Let u be h(-4). Is d at most u?
True
Suppose -12 = 2*r - 5*c, 5*r - c = 3*r - 4. Which is greater: r or 2/1393?
2/1393
Let k be 200/(-112) - (-6)/4. Let n = -0.04 - -0.13. Which is greater: n or k?
n
Suppose 40*s - 4397 + 317 = 0. Does s = 102?
True
Suppose 0 = -435*v + 429*v - 8106. Are -1350 and v nonequal?
True
Let p = 2.09 + -0.09. Let w = -3.6 + p. Let f = -1.3 - w. Which is greater: 4 or f?
4
Let s = -48 + 52. Suppose 2*x - 3*k = -7*k - 8, 0 = -5*x - 2*k + s. Do x and 0 have the same value?
False
Let q = 34 + 104. Which is greater: q or 137?
q
Let k = -14 - -16. Suppose 4*y + 3*x = -3 + 5, 2 = k*y + 2*x. Which is smaller: y or 2/55?
y
Let i = -20 - -22. Let o(l) = 2 - 2 + 2 - l - 4*l**2 - l**3. Let u be o(-3). Is i smaller than u?
False
Let r be (2 + 0)/4*-4. Let q = 2.81 + -5.81. Is r smaller than q?
False
Suppose 3*s = -4*q + 9, -3*q + 0 = s - 8. Is s != -11/28?
True
Let o be (-24 + 29)/(138/(-70) - -2). Is 170 at least