 l?
l
Let j = -252 - -227. Which is bigger: -2/5 or j?
-2/5
Let x = -1391 - -45889/33. Are -1 and x nonequal?
True
Let y = -0.8 - -1.8. Let w be 58/(-7) - (-14)/49. Which is greater: w or y?
y
Let w = 0.2 + -0.16. Let g = -40 + 39.74. Let h = g - w. Is 0.2 > h?
True
Let v be 376/40 - 10 - 111/15. Is -73 > v?
False
Let v = 98 + -97. Suppose -5*u = 0, 4*f - u - 9 = f. Which is greater: f or v?
f
Let i be 25/((-625)/140) + 6. Is i at least as big as 0.837?
False
Let v(m) = 3*m**3 + 71*m**2 - 25*m - 1. Let b be v(-24). Let t = 68 - 43. Let g = t - b. Which is smaller: 16/5 or g?
g
Let z = 12.9931 - -0.0069. Which is greater: z or -2?
z
Let d be (264/40 - 7)/(9/(-10)). Does -3 = d?
False
Let v(r) = -r**3 + 18*r**2 - 14*r - 5. Let h be v(17). Which is greater: h or 49?
49
Let c = -401 + 5229/13. Is 2 > c?
True
Let t be 0 - 0 - (1 + 5). Let u be (-32)/(-64) + (-15)/2. Which is smaller: t or u?
u
Let f = 8293/3 + -2740. Which is smaller: 23 or f?
23
Let v be (-162)/8*32/12. Let y = -863/16 - v. Is y greater than -1?
True
Let h = 554.07 + -563. Let j = -9 - h. Let d = j - 6.93. Is d at least 0.1?
False
Let p = -944 + 425. Which is smaller: -520 or p?
-520
Let r = 654 - 876. Is -220 less than or equal to r?
False
Let s(o) = -2*o**2 + 12*o - 11. Let r be s(5). Which is smaller: 67 or r?
r
Suppose 119 = -38*l + 31*l. Which is greater: l or -50/3?
-50/3
Let f(j) = -j**3 - 5*j**2 + j + 6. Let g(i) = i**2 + 7*i. Let a be g(-8). Suppose a = -4*l - 12. Let v be f(l). Is v equal to 3?
False
Suppose 0 = -3*o + 8*o. Suppose 13*a - 9*a = o. Let u be (2/3)/(15/(-9)). Which is greater: a or u?
a
Suppose 0*w - 5*w - 15 = 0. Let k = 4 + w. Let a = 690 - 696. Which is greater: a or k?
k
Let j be ((-4)/5)/((-8)/(-260)). Let d be (468/27)/((-2)/3). Is j less than d?
False
Let q(n) = n + 13. Let j be q(-7). Let a be j/(-2) + 7 + -4. Suppose a = b - 5*b - 72. Does -17 = b?
False
Let d = 285/4 + -71. Let k = -2.9 + -10.1. Let r = 4 - k. Does r = d?
False
Let o = -1799 - -1680. Is o equal to -824/7?
False
Let y = -1720949 - -49899544/29. Let t = 275 + y. Let s be -1*0*(-1 - 0). Which is smaller: t or s?
t
Let n(a) = -8*a**3 + a**2 - 1. Let l be n(-1). Let u(o) be the first derivative of -o**3/3 + 3*o**2 + 16*o + 51. Let q be u(l). Is q at most 0?
True
Suppose -3*p + 5 + 1 = 0. Let v be 3 + p/2 + -1. Suppose -3*c = -3*f - 5*c + 10, -v*c + 15 = -f. Which is smaller: f or 2/21?
f
Let a = 4691/13 + -361. Let y = 0 + a. Is y bigger than 14?
False
Suppose 4*c = 5*l + 3*c - 35, -4*c = l + 14. Is 0 greater than or equal to l?
False
Let a(m) = -m**2 - 3*m + 7. Let g be a(-6). Let x = g + 8. Which is smaller: x or -4?
-4
Let m = -0.068 + 7.768. Let b = m + -7.6. Which is greater: -43 or b?
b
Let m = 17 - -17. Let i = 2 + 32. Is m smaller than i?
False
Let g(n) = -2*n - 4. Let i be g(-4). Suppose z + 7 = 3*d, -i*z + 2 = -3*d + 3. Let m be 6/(-945)*-5 + (-42)/(-49). Which is smaller: m or z?
m
Suppose -1746 = 9*b - 324. Which is greater: -157 or b?
-157
Let f be ((-1)/(-3))/(3/9). Let g(o) = o + 11. Let j be g(-10). Let m be f + (j - -1)*-1. Is 1/5 equal to m?
False
Let b = -5.46 - 0.04. Let y = b + 8.6. Are -1 and y non-equal?
True
Let p = 0.142 + -0.042. Do -132 and p have different values?
True
Suppose -39*r + 38*r = 0. Which is bigger: -0.46 or r?
r
Let p = 146 - 142. Let d = 8 + 2. Which is bigger: p or d?
d
Let j = 506 - 506. Let c = 1/2 - 13/22. Is j >= c?
True
Let y(i) = 5 - 1 + 3*i - 4*i - 3. Suppose 0 = 4*f + 2*j - 12, -4*j = -f - 3*f + 12. Let h be y(f). Which is smaller: h or -6/11?
h
Suppose -43*t - 80 = -39*t. Suppose -90 = 5*f + 10. Is t >= f?
True
Let k be (-3)/(-2*9/12). Let u = k - -36. Which is smaller: u or 37?
37
Let x = 10.81 + -1.21. Let v = -9 + x. Let g = 0.7 - v. Is g at least -2/5?
True
Let u(p) = -446*p + 3537. Let y be u(8). Let z be 1 + -2 + (-29 - 2). Is y greater than or equal to z?
True
Let t = 25 - -3. Let c = t + -30.6. Let m = 2.5 + c. Is m <= 1?
True
Let m = -24 + 8. Let t = m - -21. Which is smaller: 4 or t?
4
Let n be (3/9 - -2)*(-188)/(-658). Let k = -1.56 + 1.7. Which is smaller: n or k?
k
Suppose 4*i - 13 = -3*u, 4 - 10 = -3*i - u. Let d = 2.79 - 0.79. Are d and i equal?
False
Let x(i) = -i**2 + 73*i - 86. Let v be x(76). Is -938/3 greater than v?
True
Let t be (21790/(-4))/(295/(-15)). Let g = t + -277. Let f = g - 231/590. Is f at least as big as 1?
False
Let q(n) = 13*n - 34 + 3*n**2 + 4*n**2 - 6*n**2. Let m be q(-15). Is 2/7 smaller than m?
False
Let c(q) = -q - 1. Let k be c(2). Let i = k + 2. Let v be (106/530)/(4/(-10)). Which is bigger: i or v?
v
Let b be (-10)/15 - (-2)/6. Suppose -2*n + 2 = -0*n. Let o = n - 0. Which is bigger: o or b?
o
Let m be ((-4)/(-1) - 4)/2. Let s = -7/44 + -5/44. Are s and m non-equal?
True
Let f = 0.776 + -0.176. Is -11 equal to f?
False
Let q = -1093 - -1108.98. Let p = q - -0.02. Let c = 14 - p. Are -4 and c equal?
False
Let q = -156.7 - -260.4. Is q greater than or equal to -1?
True
Let r = -150521/10020116 + 31/2078. Let v = 810085/106084 - r. Which is greater: 7 or v?
v
Let p be (-12)/(-14) + (-642)/749. Which is smaller: p or -1.63?
-1.63
Suppose -2*u - 4 = -2*x, x - 3 = 2. Let r be (6 + -9)/(u/(-5)). Let s be (-2)/29 - (-5 + r). Which is greater: s or 0?
0
Suppose -68 = -m - m. Let s = -5 - m. Let i be 9/s*(-3 + 1). Which is smaller: i or -1?
-1
Let l = 16 - 13. Let u(x) = x**3 - 3*x**2 - 5. Let g be u(l). Suppose 3*w + 0 = -15. Is w smaller than g?
False
Let a be (-48)/30 - 386/(-35). Which is bigger: a or 9?
a
Let r = -45 + 74. Let m = r - 12. Which is bigger: -1 or m?
m
Let a be 6*(6/(-45))/1. Let l(x) = x**3 + 13*x**2 - 14*x + 4. Let p be l(-14). Let j(t) = t**2 - 4*t - 2. Let v be j(p). Is a > v?
True
Let r = 174 + -4177/24. Let j be 0*(4 - 1/((-5)/(-25))). Is j smaller than r?
False
Let k = 60024 - 60025. Suppose 2*r - 3*r = 1. Let o be 56/159 - r/(-3). Is k at most o?
True
Let n be (1 - -1) + 84/(-35). Let l = 12 - 10. Is n not equal to l?
True
Let b = 14 + -12. Suppose -b*g + 20 = -7*g. Let d be g/8*1/2. Is -1 at most as big as d?
True
Let k be 6 + (-11)/((-693)/(-392)). Suppose 0 = -6*u + 3*u. Let g be u/(-2*(0 + 1)). Is k less than g?
True
Let o be (-1)/((-6)/3 + 0 - -3). Which is smaller: o or -14/55?
o
Let x = 3392 - 6142. Let v be ((-76)/x)/((-1)/3). Let y = v - 1/125. Which is greater: 0 or y?
0
Let u = 8 + 1. Let m = -101 + 98. Do u and m have the same value?
False
Let s = 212 - 103. Let f be 2/(-5) + 6704/60. Let v = f - s. Which is greater: 2 or v?
v
Let i(v) = v**3 - 2*v**2 + v - 5. Let a be i(3). Let f = a + -1. Suppose 0 = 5*n, -f*n + 2 = 2*w - 3*n. Which is bigger: w or 0?
w
Let s(o) = 5*o - 50. Let u be s(8). Is u less than -78/7?
False
Let o = 5.2 + -5. Let m = -5371/124 + 173/4. Is o smaller than m?
False
Let n = -635 + 525. Is n at most -109?
True
Suppose 4*w = -14 + 126. Let m(v) = -3*v**3 + 4*v**2 + 5*v. Let h be m(-2). Which is bigger: h or w?
h
Let z(j) = j + 5. Let o be z(8). Suppose -18*x = -o*x. Let c = 0 - -2. Which is greater: c or x?
c
Let h be 23 + 3/((-2)/2). Let t be (208/h)/(3/15). Suppose -8 = 4*u - t. Which is greater: 12 or u?
12
Let y be (9 + -17)/(2 + (-3)/2). Let n = 7 - 1. Let r be y/(-10)*(-10)/n. Do r and -4 have different values?
True
Let k = 13.978 - 14. Let d = k + -1.378. Is d smaller than 2?
True
Let p be 15/(-35) - 7830/(-18515). Which is smaller: p or 1?
p
Suppose -58 = 2*c + 550. Is c at least as big as -302?
False
Let v = -313 + 317. Is 41 != v?
True
Let z = -95 + 84.6. Let t = -12 - z. Let m = t + 0.6. Which is greater: m or 3/2?
3/2
Let h(u) = 44*u - 22. Let d be h(-3). Let s be 2/4 - 407/d. Is s less than 3?
False
Let n(b) = -b + 1. Let m be n(6). Let x = -19 + 19. Suppose x = -t + 6*t + 20. Do t and m have the same value?
False
Suppose 10 = 5*k + 5*x, 0*x + 4*x - 4 = -2*k. Let t be (-7)/(-28) - k/8. Which is greater: 4/23 or t?
4/23
Let x be (-7 - -3)*(-9)/(-9). Which is smaller: x or -5?
-5
Suppose -d = 2*d - 3. Suppose -d - 5 = -3*j. Suppose -j*h = -4*h. Which is greater: 2/3 or h?
2/3
Suppose 4 = 3*q + 10. Let n be q/6 - ((-20)/(-48))/1. Is -1 < n?
True
Let a be 2 + 1 + 171/(-2). Let i = a - -83. Is i bigger than -0.04?
True
Let i be (-8020)/15 + 0 + 4. Let x = i + 525. Let w = 15 - 21. Which is bigger: w or x?
x
Let a = -545/14808 + 1