values?
False
Let j be (6 + (-40)/4)*42. Which is bigger: -169 or j?
j
Let u = 1022 - 1021.917. Which is bigger: u or 1/5?
1/5
Suppose -190 = -2*l + i, -l = 4*i - 22 - 73. Let g = 90 - l. Which is greater: g or -11?
g
Let b(q) = -q**3 - 8*q**2 - 15*q + 5. Let x be b(-4). Is 1 at most x?
True
Suppose 3*f + 44 = -f. Let h(l) = -2*l**2 + 6*l + 101. Let g be h(9). Is g > f?
True
Let n = 26 - 36. Let s = -26 + 14. Let u = s - n. Which is greater: 1 or u?
1
Let p = 50.12 - 50. Let i = 0.17 - -0.05. Let s = i - p. Which is smaller: s or 3?
s
Let n = 6 + -1. Let i = -2063 + 43343/21. Let q = 19/7 + i. Which is smaller: n or q?
q
Let p be (1 + -3)/((-10)/(-75)). Let n = -163 - -148. Is n at most as big as p?
True
Let i = -850597/84 + 10126. Is i less than or equal to 1?
True
Let m be (-1 - (-2)/4)/19. Suppose -8 = -4*t, 0 = -5*o + 2*t + 8 - 2. Let q(f) = -f**2 + f + 3. Let k be q(o). Is k at least m?
True
Let h be (-116)/203*(-14)/4. Is h > 18/29?
True
Let h = 0.6 - -1.4. Let t be (30/(-15) - (-6)/4)/(-8). Is t not equal to h?
True
Suppose -19*m + 4*y = -21*m + 22, 0 = m - y + 4. Which is smaller: m or 1/970?
1/970
Let b = 38 - 38.6. Let v = 1.6 + b. Let z = -2.1 + 16.1. Which is bigger: v or z?
z
Let k = 92.079 + -92. Is k equal to 2?
False
Suppose 2*p + 4*j + 153 = -7, -5*p - 4*j - 370 = 0. Which is bigger: p or -64?
-64
Let t = -0.3 + 9.3. Let m = t - 7. Let z = -3 - -2.9. Which is smaller: z or m?
z
Let t be 10/(-35) + (-96)/7. Let q = 26 + t. Suppose q*g = 13*g - 1. Which is smaller: g or 8/9?
8/9
Suppose 6*f - 3*f = 18. Let x(l) = -l**2 + 7*l - 4. Let a be x(f). Suppose 2 = p - 5*p - 2*q, 3*q = -a*p + 1. Which is smaller: p or 2?
p
Let y = -329 - -288. Is 1/3 equal to y?
False
Suppose -o + 4*i + 15 = 0, o + i + 5 = -0*o. Let f = -7 - o. Let g be (-780)/198 - (2 + f). Which is smaller: g or 0?
0
Suppose 3*m = 3*l - 15, 0*m - 7 = -3*l - 5*m. Let c be (l/6)/((-14)/1317). Let u = c - -63. Which is bigger: 18 or u?
18
Let a(p) = -6*p**2 - 101*p - 28. Let b be a(-16). Which is smaller: 43 or b?
43
Suppose 67 = -6*j - 29. Let u(n) = n**2 + 11*n - 15. Let b be u(-11). Are b and j unequal?
True
Let f = -12 - -14. Let l = -0.035 + -0.025. Which is bigger: f or l?
f
Let k = -23.2 - -22. Let y = -1.3 - k. Which is smaller: -1 or y?
-1
Let a be ((-24)/(-16))/(3/32). Suppose -5*t = 3*r - 20, 5*t = -2*r + t + a. Is 2/3 less than r?
False
Let l(q) = 3*q**2 + 28*q - 129. Let a be l(7). Is a at most 213?
False
Let g = 322735/179 - 1803. Which is smaller: 0 or g?
g
Suppose -11624 = 4*h + c + 4436, -16 = 4*c. Let a = -7803/2 - h. Let x = -110 + a. Are 4 and x unequal?
True
Let c(j) = -10*j - 41. Let l be c(-4). Is l at least as big as 1/249?
False
Let g be 55/(-3388)*((-5)/(-1) + -1). Which is smaller: 1 or g?
g
Let q = 81 + -82. Do 82/3 and q have the same value?
False
Let y be (36/8)/(-2*(-2)/(-16)). Let g = 555/7 + -79. Which is smaller: g or y?
y
Let y(o) = -o**2 - 15*o + 2. Let b be y(-15). Let w be b/1 + -1 + 0. Let f be (-4)/(-2*w/(-2)). Which is smaller: f or -2?
f
Let y = -4.6 - -5. Let x = -0.5 + y. Let h = -158 + 152. Do x and h have different values?
True
Let w be (-4)/99 + (52/(-44) - -1). Let a = 25 - 27. Which is smaller: a or w?
a
Let z(s) = -5*s - 74. Let w be z(-15). Let h(y) = y - 1. Let q be h(1). Suppose 4*x + 9 - w = q. Is x equal to -3/5?
False
Let r = 6 + -2. Let k = -568 + 565. Is k equal to r?
False
Let s be 4/(-22) + (8298/1716 - 5). Is s bigger than 1?
False
Let y(n) = -n**2 - n + 1. Let d = 32 - 36. Let l be y(d). Do l and -43/4 have the same value?
False
Suppose 5*i - r + 61 = 3*i, -5 = -r. Let z be (-2)/3 + 1817/(-69). Is z >= i?
True
Suppose -2 = -2*w + 4*w. Let y be (-2)/w - (-2 - -3). Which is smaller: 6/17 or y?
6/17
Let r be (-13)/(-52)*(-1)/(2*-2). Suppose g - 5 = -4*g. Let l be (g + -1)/(-1 + 3). Which is smaller: r or l?
l
Let m = 0.263 + -1.263. Is m not equal to -100?
True
Suppose -158 + 118 = -2*p. Which is greater: p or 22?
22
Let f = -86/21 + -137/7. Are f and -23 nonequal?
True
Let d be (-12)/(-40)*(-10)/(-8). Let u = -13 - -11. Let n be 0 + -1 + u/(-2). Is n at least d?
False
Let c = 2473.27 - 2473. Is -20 != c?
True
Let i = 1 - 0. Let o be 2/(-3)*(-3)/(-801)*-3. Let u = o + 793/1068. Which is bigger: u or i?
i
Let x = -275 + 274.7. Is -7 less than x?
True
Let b = 25 - 9. Let p be 8/(-4) - 68/b. Is p at most as big as -6?
True
Let k be 9/12*24/9. Let f be 33/(-22)*k/(-177). Is -1 bigger than f?
False
Let g(b) = -13*b**2 + 8*b + 21. Let d be g(9). Let c = d - -11509/12. Is -1 less than c?
True
Let z be (6/7)/((-6)/32). Let y = z + 6/7. Do -5 and y have the same value?
False
Let p be -2*5*246/(-615). Let j be ((-1)/2)/(2/(-19)). Are j and p equal?
False
Let v(g) = -17*g + 387. Let y be v(26). Is y smaller than -53?
True
Let m = -658.93 + 659. Which is bigger: m or 13?
13
Let o = -186070/41 - -4538. Which is smaller: o or -1?
-1
Let v(b) = b**3 - 2*b**2 - 2*b + 1. Let n be v(2). Let i be n/(-4) - (-6)/(-8). Let t be -5*1*5/30. Is t at least i?
False
Let k = -17 - -10. Let x = -6 + k. Suppose -3*m - 31 + 7 = 5*p, 2*m - p + 29 = 0. Are m and x equal?
True
Let o = 173 + -175.34. Let i = o - -2.4. Let n be (-8)/(-12)*(-1)/(-2). Is i greater than n?
False
Let w = 200 - 225. Is w smaller than -1?
True
Let f = 0 - 7. Let c be 55/70*f/(-6). Let v = -5/12 + c. Which is greater: v or 0?
v
Let c = -0.008 + -0.003. Let k = 1.011 + c. Which is smaller: k or 3/7?
3/7
Let d = 7 + -38. Let r be 7/(-2) - (-21)/7. Which is bigger: d or r?
r
Let w be 6/(-2) - ((-18)/(-3) + -6). Suppose y + 3*x = -3*y + 13, -x + 7 = 4*y. Let i be y + 4/(4/w). Which is smaller: -3 or i?
-3
Suppose 29 = 4*j - 5*n, -2*n - 25 = -4*j - n. Suppose -b + f - 6*f = -j, -f - 1 = -2*b. Is 2/3 greater than b?
False
Let w = -7140 + 20615/3. Is w at most as big as -267?
True
Let w be (52/12 + -4)/((-15)/7497). Do -168 and w have the same value?
False
Let y = -72 - -121. Let v = -53 + y. Which is smaller: v or 8?
v
Let w(i) = -8*i - 78. Let a be w(-10). Suppose -a*m - m + 2*j = -280, 2*j - 260 = -3*m. Which is bigger: m or 89?
m
Let z be (24/6 - (-10)/(-2))*57. Are z and -58 nonequal?
True
Let t = -1370 - -2000. Is t at least as big as -0.2?
True
Let c be (-18)/24*3520/(-18). Let s = c - 5702/39. Let g be (0 - 3) + -1 + 3. Which is smaller: s or g?
g
Let t = 9.63 - 9.64. Which is smaller: -7 or t?
-7
Let f = 179 - 166. Is f greater than or equal to -7?
True
Let f = 449 - 340. Is f at least 1/2?
True
Let x(p) = 10*p - 34. Let h(z) = -5*z + 17. Let q(n) = -7*h(n) - 4*x(n). Let k be q(3). Are 14/5 and k non-equal?
True
Let k = 4897/4 + -1231. Is k bigger than -2?
False
Suppose 5*b = -5*f + 10, 2*f - 6*f + 24 = -4*b. Which is smaller: f or -3/17?
-3/17
Let x = -1395 + 1394.8. Which is bigger: x or -2?
x
Let w(x) = 40*x - 36. Let q be w(2). Is q less than 43?
False
Let u = -3.2 - -0.2. Which is bigger: u or -2/13?
-2/13
Let n be 7/(-5) + (-2)/(-5). Let q = 42 + -8. Let o = q + -41. Do n and o have the same value?
False
Suppose 4*m = 2*b - 10, -4*m + 3 = -b + 12. Is b greater than 1/597?
True
Let p be (-1)/(-15)*12*50/(-4). Let g = -5047/6 - -832. Is p <= g?
True
Suppose v = -u - 418, 65 = -4*u + 77. Is v <= -421?
True
Let j(b) = 19*b - 143. Let i be j(13). Suppose -f + 7 = -a, 28 + 7 = -4*a - 3*f. Let u be (-12)/i*a/6. Do u and -1 have the same value?
False
Let d = 17 + -3. Suppose 217*b + 48 = 220*b. Which is smaller: b or d?
d
Let d(s) be the first derivative of s**3/3 + 3*s**2/2 + 2*s - 35. Let h be d(-1). Is h less than 1/37?
True
Let k = 0.465 - -0.075. Let t = k - 1.54. Are 1.6 and t non-equal?
True
Let a = -5/3 + 91/55. Let b = 832 + -831. Are a and b equal?
False
Let x = 0 - 0.2. Let i(r) = 12*r + 153. Let c be i(-13). Which is smaller: c or x?
c
Let d = 72155/4688 - -160/293. Let t = d - 23683/1488. Which is smaller: t or 1?
t
Let h be 52/14 - (-12)/42. Suppose n + 15 = -4*f, h*f = -f + 3*n - 23. Let u be (1 - -1) + (-11 - -3). Which is bigger: f or u?
f
Let c be (-1)/((-3)/(-3)) - -2. Let l = 9/10 - c. Is l smaller than -2?
False
Let x = 40 - 32. Suppose 5*c - 2*q = 2 + 10, 5*c = 3*q + x. Suppose 5*g = -1 + 26. Is g smaller than c?
False
Let v(k) = -1948*k + 11. Let n be v(-10). Let d be 4/14 + n/(-84). Let w = d + 233. Which is bigger: w or 0?
w
Suppose -44*u = -4