smaller: 1 or o?
o
Suppose 12*l = 74 - 254. Suppose -f - 5*u - 6 = 0, -2*f - 4*u = -f + 8. Is l bigger than f?
True
Let s(g) = g**3 + 6*g**2 + 6*g + 8. Let x be s(-5). Suppose -40 = x*v - 8*v. Which is bigger: 7 or v?
v
Suppose 3 = -j + t - 3, j - 24 = -5*t. Which is smaller: -33 or j?
-33
Let w be (0 + -2 + 30)*2/(-1). Is w smaller than -57?
False
Let l = -150 + 150. Is l less than 1/198?
True
Let u = -114.9 + 111.9. Suppose 0 = n - 0 + 1. Which is smaller: n or u?
u
Let k = -210 - -228. Is 15 greater than or equal to k?
False
Let y(q) = -q**2 + 43*q - 442. Let b be y(22). Let a = -14 + 32. Is a greater than b?
False
Let g = -776/3 + 258. Let l = 0.5 + 0.2. Which is bigger: g or l?
l
Let k = 7 + -4. Suppose 3*h + k*c = 18, -2*h + 4 = -4*c + 2*c. Suppose 0 = h*p - 43 + 11. Are 9 and p unequal?
True
Let p be (-11)/33 - 4/(-12). Is p < 2/249?
True
Let k = -0.008 - -0.069. Let i = k - 2.061. Is 0.3 at most i?
False
Suppose 2*l - 59 + 73 = 0. Is l less than or equal to -31/5?
True
Let i be -4 + 2/(18/9). Which is smaller: -25/9 or i?
i
Let v = -0.03 - -0.02. Let q = v - -0.11. Let p be 2/(-12)*(-6)/4. Are p and q unequal?
True
Let h = 9200/11 - 835. Which is smaller: h or 1?
1
Let b = -2518243816 - -74774213636280/29693. Let j = b + -2/1291. Is -1 at least as big as j?
False
Let r = 66.09 + 0.91. Let b = r - 68. Is 31 <= b?
False
Let k = -810/187 + 52/17. Suppose -3*w - 11*n + 14*n + 6 = 0, -5*w + 4*n = -8. Which is smaller: w or k?
k
Suppose 5*m + w = 6, -4 = -2*m - 5*w - 20. Suppose -m*o = -z + 3*o + 2, 3*z + 2*o - 91 = 0. Which is greater: z or 28?
28
Let k(d) = -d + 7. Suppose 24 = -4*v - 16. Let t(l) = l**3 + 9*l**2 - 11*l - 4. Let h be t(v). Let q be k(h). Is q equal to 3?
False
Suppose 2*c + 6*c = c. Suppose c*u + 2*u + 3*n = 17, 0 = -u + 2*n - 9. Which is bigger: u or 0?
u
Let o(a) = -a + 1. Let g be o(-1). Let v(d) = -d - 1. Suppose 0*t + 2*t + 4*k = 8, 0 = -4*k + 16. Let s be v(t). Which is smaller: s or g?
g
Let x = -1/2197 - 6463/281216. Is x less than 1?
True
Let x = -26 - -26.23. Let q = -0.13 + x. Which is bigger: -23 or q?
q
Let a = 7 - 4. Let q be 6 + (-1 + 0)*a. Let s(i) = -4*i**3 - 2*i**2 + 1. Let k be s(-1). Is k at most as big as q?
True
Suppose 15 = 8*f - 3*f. Suppose 6*k - 2*u = 3*k - 17, -2*k - 18 = -f*u. Let c = -179 - -177. Is c equal to k?
False
Let y = 210 - 227. Is y smaller than -20?
False
Suppose -2*b - 3 = -b. Let l = -40 + 46. Suppose 0 = -l*q + 10 - 4. Is q equal to b?
False
Let y be (28/1330)/(5/(-850)*2). Does -2 = y?
False
Suppose z + 5 = 5*t, -3*t - 2*t = 2*z - 50. Suppose 0*m + m + z = 0. Let s = m + 16. Are -4/9 and s equal?
False
Let j = 0.19 + -0.17. Let v = 7.02 - j. Let i = -6 - -7. Is v less than or equal to i?
False
Let a(c) = -c**2 - 10*c + 1. Let h be a(-5). Suppose -45 = -3*x + 36. Let n = x - h. Is n less than or equal to 2?
True
Let m be (340/32)/(-17)*(-6)/15. Which is bigger: 70 or m?
70
Let m be (4/738)/(1/(-12)). Let d = m + 2123/492. Suppose -4*y + 53*i + 16 = 55*i, -26 = -4*y + 3*i. Which is bigger: y or d?
y
Let c = -22 - -40. Let m = c - 17.7. Let q = 0.4 - m. Is q at most 8?
True
Let p be (2 - 36/15)/((-72)/(-1500)). Do -7 and p have different values?
True
Let j(x) = -x**3 + 6*x**2 + x - 2. Let d be j(6). Let v be (d + 80/25)*-5. Let o be (4/(-32))/((-15)/v). Is o bigger than -1?
True
Let y = -46.1 - -46. Let b = 11 - -3. Is b at least as big as y?
True
Let n be (-6)/(-4) + 1 + -2. Is n smaller than 7/6?
True
Let n be (-2)/((-5)/3 - -1). Suppose n = -5*f - 2. Which is greater: f or -1/2?
-1/2
Let b(a) = -a**3 + 6*a**2 - 14*a + 9. Let x be b(6). Are -147/2 and x unequal?
True
Suppose -2*l + 0 = -2. Let m = -3 - l. Let v = m + 5. Which is bigger: v or -1/27?
v
Let c = 598 - 597. Which is bigger: c or -10/37?
c
Let r be ((-6)/(-4))/((-9)/24). Which is smaller: -0.01 or r?
r
Let c = -293237527/4217 - -69537. Is c at least 0?
True
Suppose 0 = -r + 17 + 2. Suppose 0 = -11*f + 8*f + 3*v + 66, f - 3*v = 30. Let w = f - r. Which is bigger: w or 0?
0
Let p(v) = 2*v - 7. Let r be p(-4). Let o be 21/r - (-4)/4. Let s(a) = -a**3 + 4*a**2 + 4*a + 5. Let u be s(5). Which is bigger: o or u?
u
Let u be 564/(-87) - (21 - 27). Which is smaller: -1 or u?
-1
Let y = -3025 - -3024.9. Let j = -0.112 - -0.17. Which is smaller: j or y?
y
Let a = -36930/11 - -3362. Is 4 <= a?
True
Let f = -28/3 + 329/33. Is f at most as big as 2?
True
Let m(u) = -u**2 + 22*u - 22. Let y be m(21). Is 1/19 >= y?
True
Suppose 0*r - r + 2*l = 3, l - 4 = 3*r. Let o be -1 + (1 - r) - 4. Which is bigger: -0.4 or o?
-0.4
Let z = -123 - -84. Is z <= -41?
False
Suppose q - o + 6 = -7, 0 = 3*q + 5*o - 1. Let d = -124 + 125. Which is bigger: q or d?
d
Let w(b) = 2*b - 6. Let u be w(14). Let h be 4/(-8)*(-12)/u. Which is greater: h or 2?
2
Let c be 30/(-9) + ((-96)/(-8) - 8). Which is smaller: -11 or c?
-11
Let q = 70 + -121. Let k = q - -53. Is k < 5?
True
Let m(d) = d**3 - 6*d**2 - 26*d + 15. Let c be m(7). Does -118 = c?
True
Suppose 2*d = -7*b + 2*b + 98, -4*b + 2*d + 82 = 0. Let x be (b/(-50))/(1/(-10)). Suppose -t = 3*t - x. Which is greater: -10 or t?
t
Let p be (((-8)/(-140))/1)/((-9)/21). Let q = 0.05 - 0.09. Is p less than or equal to q?
True
Suppose 0 = -3*w + d - 62, 33 = -2*w - 3*d + 2*d. Let p(b) = 3*b + 10. Let m be p(-9). Is m bigger than w?
True
Let l = 77/25 + 41/50. Let c = -27/5 + l. Let p = -0.545 - -0.145. Which is greater: c or p?
p
Suppose -26*h - 2 = -27*h. Let i be (-14)/40 + h + (-16)/10. Are i and 1 equal?
False
Let z = 0.032 + -0.075. Let i = z + -0.257. Which is bigger: -0.01 or i?
-0.01
Suppose -3*w + 4*l - 2 = 5, -5*w = 5*l - 35. Let h be (w + -2)/((-1)/(3/3)). Which is smaller: h or 6?
h
Let a = -0.657 + -17.193. Let c = a + 18. Is c equal to -1?
False
Let l = -3583 - -3582.8. Let s = -2 + 1.96. Which is bigger: l or s?
s
Suppose 4*u = -55 - 5. Let o = u - 10. Let w = o - -22. Is w greater than or equal to -3/2?
False
Let j = -127 - 78. Which is smaller: j or -203?
j
Let t = -54 + 57. Suppose -t*q = -8*q + 45. Is 0.6 bigger than q?
False
Suppose 4*k + 0*w = -3*w - 11, 3*k - 4*w + 2 = 0. Suppose -2*n - 4 + 0 = 0. Let g(a) = a**2 + 2*a - 2. Let b be g(n). Is k bigger than b?
False
Let a = 43 - 43.1. Is -74 bigger than a?
False
Let o = -1643/3 + 539. Let q = -10 - o. Is q at most -2?
False
Let l = 4 + -5. Let p = 70 - 72.9. Let u = p - -3. Are u and l unequal?
True
Let a be 44*2*(-12)/32. Let l be 394/(-240) + 11/a. Let g = l + 21/10. Which is smaller: 1 or g?
g
Let t be (-1038)/78*((-9 - -4) + 7). Which is greater: -26 or t?
-26
Let q = 1977 - 1967. Let w = 0.4 + -0.5. Which is greater: w or q?
q
Suppose -2*h + 5 + 11 = 0. Let r = 2612 + -2602. Is h less than r?
True
Let z = 58 - 58. Let g be 3667/28 + (-1)/4. Let l = g + -131. Which is bigger: l or z?
z
Let q = 8 - -9. Let m = 35 - q. Does 17 = m?
False
Suppose 0 = 2*v - 0*v - 6. Suppose -v*n - 50 + 17 = 0. Let j(d) = -d**2 - 12*d - 11. Let x be j(n). Is x < 2/77?
True
Let h be (-77)/(-74) - (-4 + 9 + -4). Which is smaller: h or 1?
h
Let r be (0/(-4))/(3 - 4). Suppose r = -55*n + 56*n + 3. Is n > -7?
True
Let d be ((-96)/(-45) - 2)/(117/(-27)). Suppose 13*i = 14*i. Is d at least i?
False
Let w(b) be the first derivative of -b**4/4 - 4*b**3/3 + b**2 + 6*b + 14. Let v be w(-3). Do v and -19/2 have different values?
True
Let c be (36/(-24))/((-2)/(-24)). Are -19 and c nonequal?
True
Suppose -5*o = b - 4*b + 11, -b = o + 7. Let c be (-15)/18*o/(-6). Is -1 greater than or equal to c?
False
Let h = 541/4 - 135. Is -64 smaller than h?
True
Suppose 80 = -5*g - 6*m + 2*m, 3*m = 5*g + 115. Let c = -17 - g. Suppose 13 = -5*s - 7, 3*s = 3*u + c. Is u smaller than -6?
False
Let o = -10.33 + 9.9. Let f = 0.3557 - 0.1257. Let r = f + o. Which is bigger: 0.02 or r?
0.02
Let k(h) = -2*h**2 + 10*h - 9. Let s be k(6). Suppose 2*n + 25 = 5*q, -q - 23 = n - 0. Is s not equal to n?
True
Suppose y - 14 = 3*i, -5*i + 0*y = 2*y + 5. Let s be -2 + (-6)/2 + i. Let w be (-92)/22 - s/44. Which is greater: 0.1 or w?
0.1
Let s = -2154 + 2153.8. Which is smaller: -197 or s?
-197
Let h = 131/2 - 70. Is 2/17 greater than h?
True
Let q be 2/13 - 147/364. Is q greater than -272/9?
True
Let f be 3*(-2)/48*-138. Suppose 2*o = -5*x - 49, -4*x + 39 = -o - 2*o. Let g = f + o. Which is smaller: g o