lse
Suppose -102*a - 1068 = -2802. Which is smaller: a or 21?
a
Suppose -1131*b = -1157*b + 468. Suppose 0 = -5*j - 0*j + 95. Which is smaller: j or b?
b
Let l(y) = -5 - 3*y**2 - 29*y + 12 + 6*y. Let o be l(-8). Which is bigger: -2/59 or o?
-2/59
Suppose -258 - 462 = -5*l. Let r = -1441/10 + l. Which is bigger: r or 1?
1
Let w(l) = 7*l + 22. Let a be w(-3). Which is greater: a or 3/488?
a
Let z = -499/111 + 6/37. Let c(m) = -m**2 + 8*m + 17. Let s be c(-2). Which is smaller: s or z?
z
Let h(y) be the second derivative of -2*y**3/3 - 45*y**2/2 + 2*y - 5. Let w be h(-12). Is 5 less than or equal to w?
False
Suppose 0 = 16*x - 169 + 585. Suppose -v = -0*v + 27. Is x less than or equal to v?
False
Let s be ((-3)/3)/(-1)*6/57. Let r = 4 + -3. Is s at most as big as r?
True
Let i be (2 + 0)*3*-22. Let b be 243/i - -3 - 3. Let q = b - -12/11. Is q at most -2?
False
Let s(u) = -3*u + 4. Let d be s(16). Let o = 133/3 + d. Is 6/35 < o?
True
Let l be ((-8)/12)/(6/18). Let x = l + 1. Which is bigger: 2/49 or x?
2/49
Let u be 4 + -5 + (-10)/(-14). Suppose 3 = 9*j + 102. Which is greater: j or u?
u
Let n = 331 - 329. Is 8/13 < n?
True
Let m = 92.8 + -136.87. Let h = -44 - m. Which is smaller: 0 or h?
0
Let v(x) = 24*x + 433. Let a be v(-20). Which is smaller: a or -39?
a
Let q(v) = v**2 + v - 2. Suppose -23 = -3*o - 5*d, 0*o = -2*o - 2*d + 10. Let m be -3 - o*(-1)/1. Let n be q(m). Is n less than or equal to 3/17?
True
Suppose -4*f - 42 + 108 = 3*s, 2*f + 5*s = 40. Suppose -j - 4*d + 16 = 0, -3*j + f + 5 = 5*d. Let x = 0.72 + -0.6. Which is greater: x or j?
x
Let i(a) = 6*a**2 + 73*a + 11. Let s be i(-12). Suppose 5*g - 3*g = -6. Let t be (-6)/(-1917)*g*-3. Which is smaller: s or t?
s
Let y = 5037 - 2674645/531. Which is bigger: 1 or y?
1
Let i = 1/6 + -8/3. Let x = -320 + 316. Which is smaller: x or i?
x
Suppose 4*y - 47 = 8*t - 3*t, 0 = 5*y + t - 95. Let h = -60 + 41. Let x = y + h. Which is bigger: x or -2/3?
-2/3
Let z be (-1 + 1 + -1)*0. Let i = 115 - 9. Let k = 531/5 - i. Which is smaller: z or k?
z
Let v(q) = q**2 - 2*q. Suppose h - 6*h = -10. Let g be v(h). Let y be (g/3)/(-1*2). Which is smaller: 1/10 or y?
y
Let u = -16 - -21. Suppose 3*z - u*y - 8 = 0, z - 4 = -0*y + 2*y. Is z less than 2?
True
Suppose 0 = 3*h + 3*h. Does h = 3/58?
False
Suppose -4*p - 3*p + 2*p = 0. Suppose -k = 2*w - 3, -k = -p*k - w. Is -1/176 at most k?
True
Suppose -2*r = 3*r - 2*g + 258, 3*r = 4*g - 166. Let j be 12/54 + r/(-18). Let q be 4/(-4*1)*j. Is q at least as big as -3?
True
Suppose 20 = 4*a - 8*a. Let m be (10/a)/(-5 + 4). Which is greater: 2/9 or m?
m
Let c be (-735)/(-540) + (-3)/27. Which is smaller: c or -91?
-91
Let b be (-22)/(-22)*-3*4/62. Is -0.4 greater than or equal to b?
False
Let t be 1/(-6) + 115/6. Is t smaller than 102/5?
True
Let s = 250 - 249. Let m be (-3 + 95/7 - -1) + -3. Which is smaller: s or m?
s
Let s = -17 + 35/2. Let o = 51326/21 - 2444. Are s and o unequal?
True
Suppose i + 4*y = 85, 0*i - 3*i + 5*y = -170. Let a = -60 + i. Which is smaller: a or 3?
3
Let d be 4 + -2 + 0 - (3 - 1). Is d > 2/2883?
False
Let n be 0/(-1) - 1/(-19). Let q = n + -66/893. Let m = -37/470 + q. Is m less than or equal to 0?
True
Let c(x) = -15*x - 20. Let d be c(-5). Which is smaller: d or -2/19?
-2/19
Let p = 9 - 12. Let a = -1 - p. Suppose 0 = -4*g + a*g - 16. Which is bigger: g or -10?
g
Let k = 553.4 - 477. Let f = k - 76. Is f at least as big as -4?
True
Suppose 59 = 4*m + 91. Which is bigger: -37/4 or m?
m
Let l = -19747/37370610 + 5/7542. Let q = l + 332974/14865. Which is bigger: 21 or q?
q
Let x be (-194)/(-14) - (-30)/210. Is x bigger than 1/6?
True
Let n = 0.255 + 2.745. Is n greater than 12?
False
Let d be 2/5 - (6040/(-150) - -18). Is d > 24?
False
Let j be ((-52)/(-15) + (-32)/40)*42. Do 112 and j have the same value?
True
Let y be (-6 + 416/65)/((-72)/70). Does y = -1?
False
Let b(r) = r**3 - 7*r**2 + 15*r - 9. Let c be b(5). Suppose -11*q + 20 = -c*q. Which is smaller: q or -28/9?
q
Let l = 178 + -205. Which is smaller: -29 or l?
-29
Suppose -3*x - 2 = -11. Let t be x + (-10 - (-4)/(-2)). Let v be t/3 - 11/(-4). Which is greater: 6 or v?
6
Let p(x) = -x + 61. Let s(j) = -2*j + 61. Let y(i) = 6*p(i) - 5*s(i). Let t be y(-14). Do -2 and t have the same value?
False
Let w be (-5)/15 - 74/(-186). Suppose -4*c + 2*n + 3 - 5 = 0, 6 = 3*c + n. Which is bigger: c or w?
c
Let y be 17/51*(28 - 1). Suppose 5*f = -2*o - y, -2*f + 3*o = -8 + 4. Is f >= 17?
False
Let v be (7/(-14))/((-2)/8). Suppose -2*k - v*i - 7 = -3*k, 0 = -i - 3. Let u be 8/(-3) + 2/k. Is 0.1 < u?
False
Let s = 803 + -629. Which is greater: 175 or s?
175
Let p = 2.0542 - 0.0352. Let t = -0.019 + p. Which is smaller: t or 1.6?
1.6
Suppose 0 = -10*n + 7 + 33. Suppose 2 = -3*w + 23. Is w at most as big as n?
False
Let t(h) = -h**3 + 13*h**2 + 2*h - 21. Let c be t(13). Are c and 19/3 nonequal?
True
Let i = -77.1 - -1.1. Let u = i + 123. Is -2/7 > u?
False
Let l = -0.1 + 0.3. Let n = -73.97 + 74. Let b = n - 4.03. Is l at most b?
False
Suppose 0 = -382*t + 378*t - 396. Which is smaller: 1/2 or t?
t
Let i = -0.0468 + 27.9468. Let k = 4.1 + i. Is 1/2 at most k?
True
Suppose -3 + 6 = 4*y + d, 9 = 3*y + 3*d. Which is smaller: y or -38?
-38
Let g(m) = 3*m + 61. Let l be g(-19). Which is bigger: 29 or l?
29
Let p(a) = a + 1. Let d be p(0). Suppose 5*n - x = -0*n + 98, 0 = 5*x - 10. Let q = -21 + n. Is d at least q?
True
Let b = 53 - 54. Let u = 6/125 - 651/5750. Which is greater: u or b?
u
Let d(g) = -g**3 - 4*g**2 + 4*g + 7. Let r be d(3). Let h = r + 24. Is -20 != h?
False
Let s = -0.254 - -0.044. Let i = -0.01 - s. Let p = 12 - 14. Is i at least as big as p?
True
Let v = -6.1 + 0.1. Let y = v + 18. Which is smaller: 0 or y?
0
Suppose -2*m - 3*n = -227 - 170, 12 = 4*n. Is m > 194?
False
Let u = 0.041 - 0.121. Let y = u - -0.08. Which is greater: -1/49 or y?
y
Let t = -81 - -31. Let j = t - -50. Let s be (-11)/(-8) - (1 - 0). Do s and j have different values?
True
Let b = 2 + -2. Suppose 2*m + 1 + 3 = b. Let q be -2 + 7 - (5 + m). Are 3/4 and q unequal?
True
Let h(f) = 2*f**2 + 5. Let w be h(-4). Let d(m) = -m**3 - 12*m**2 - 15*m - 6. Let u be d(-11). Are w and u equal?
False
Suppose -364 + 112 = -3*r. Suppose -6*s = s + r. Is -12 at most s?
True
Let x = 6786 + -359647/53. Which is greater: 0 or x?
x
Let q be (75/20)/(3/12). Suppose -3*p = -0*p - 2*c, -3*p - q = 3*c. Are -5 and p non-equal?
True
Suppose 25 - 29 = a. Suppose -4*l + l - 9 = 0. Let f = a - l. Which is smaller: f or -1/6?
f
Let t = -707/24531 - -2/629. Which is greater: 1 or t?
1
Let i be ((-354)/4 + -3)/(1/6). Which is greater: -550 or i?
i
Let m be (-2)/(-9 - -3)*15. Suppose 24 = -4*v - 5*s, -v + 2*v + s + m = 0. Let d be (-2)/6 - 8/30. Which is smaller: d or v?
v
Suppose 4*g + 115 = x, 10*x - 6*x - 4*g = 472. Is x <= 3?
False
Suppose o + 100 = -4*p, -138 = 5*p - o - o. Let r be (9/42*-8)/((-51)/(-714)) + -2. Is r at most as big as p?
True
Suppose 0 = -5*t - 3*u - u - 21, 2*u = 5*t - 3. Let r be ((-1)/(-10))/(8/48) + t. Do 1 and r have different values?
True
Let l = 54.31 - 9.44. Let d = 45 - l. Which is smaller: d or -0.1?
-0.1
Suppose 5*p - 6*f + f = 440, 0 = 3*p - 2*f - 261. Is p less than 85?
False
Let g = 0.3 + -0.5. Let j = 0 - g. Let o = 0 + j. Which is bigger: 5 or o?
5
Let x be (5253/(-34))/(6/8). Is x smaller than -206?
False
Let k(c) = c**3 - 19*c**2 + c - 21. Let q be k(19). Is -48/17 greater than or equal to q?
False
Suppose 2*n - 42 = 2*t + 3*t, -4*n - 20 = 3*t. Let k(p) = p**2 + 7*p - 7. Let s be k(t). Let l be (-45)/(-4)*s/3. Which is smaller: l or 3?
3
Suppose -87 = 4*l - 91. Which is smaller: -4/83 or l?
-4/83
Suppose 544 = -17*a + 3910. Is 200 > a?
True
Suppose -6 = -2*d, 110 = 6*i - 2*i - 2*d. Let v = i - 31. Which is bigger: v or -5/6?
-5/6
Let s = 15809016 + -95818445695/6061. Let l = s + 2/319. Which is smaller: l or 0?
0
Let y = 2923/11 + -266. Which is smaller: y or 1?
y
Suppose 3*f + 16 = -5*q + q, 0 = f + 5*q + 9. Let s be (6/(-4))/(10/f)*-1. Does s = -2?
False
Let x = -2165/7 + 311. Suppose -7 = -y - 6. Suppose 7*k - y = 20. Which is smaller: x or k?
x
Suppose -2*j + h - 4 = 2*h, -3*j - 5*h = 20. Suppose -2*g = -g - 52. Let w be 0 - (0 + (-4)/g). Is j at least as big as w?
False
Let q = 8 + -2. Let b = 