 values?
True
Let v(t) = t**3 + 18*t**2 - 26*t - 141. Let o be v(-19). Let h be 4/o*(3 + -1). Is 2/479 at least as big as h?
True
Let m = -7632 + 7517522/985. Let f = m + -396/985. Which is greater: f or -40.6?
f
Suppose -5*a + 34 = -2*f, 4*a = -3*f - f + 44. Suppose 3*i - 61 + 13 = 3*l, 0 = 5*i + l - 62. Suppose -i = -o + a. Is o greater than or equal to 21?
True
Let g = -2.5 + 3. Let z = 2.893 + -1.393. Let r = z + g. Which is greater: -0.3 or r?
r
Let v = 0.26 + 0.34. Let h be (-22)/48 - 7/(-42). Let b = h + 1/8. Is b != v?
True
Let j be 2/(-4) + -22*1/(-4). Suppose -o - 4*k - 49 = -4*o, -2*k = j*o - 125. Suppose -9*u - 110 = -14*u + 5*p, 5*u - 114 = p. Is u <= o?
True
Let o be ((-20)/((-70)/7) + -2)/3. Which is smaller: o or 793?
o
Let q(c) = -c**2 - 7*c + 3. Let n be q(-7). Suppose -n*h - 4 = -2*g, -4*h - 10 = -4*g - 2. Let s be -8 + 25*(-44)/(-110). Which is greater: h or s?
s
Let d(n) = -8*n**2 - n + 1. Let a be d(1). Let w(j) = j**3 - 6*j**2 + 13*j - 2. Let y be w(3). Suppose g = -3*h - y, g - 4 + 8 = 3*h. Are g and a unequal?
True
Let q be (490/(-31))/(11/(-286)). Let j = q + -411. Which is smaller: 1 or j?
j
Let m = -221059/21 - -10521. Is -7 less than m?
True
Let p be (-235)/(-1) - (2 - 5). Let t be (p/(-14))/(4/(-16)*2). Is t greater than 38?
False
Let n = -976 - -960. Let a be ((-4)/n + 0)*36880/20. Is a at most 461?
True
Let r = 290/1239 + 16054/16107. Let y = 3.1 + -3. Is y bigger than r?
False
Let l(n) = 3*n**2 - 45*n + 80. Let a be l(13). Let q be 1/(a/(-3)) + (-5406)/(-5100). Is 0 less than q?
False
Let v = -233 + 184. Let c = v - -19. Which is smaller: c or 0?
c
Let q(m) = -2*m**2 - 96*m - 97. Let f be q(-40). Is f > 543?
False
Let d = 72 - 71.848. Let k = d - 0.052. Is -7/15 smaller than k?
True
Let h = 1596 + -2109. Is -513 smaller than h?
False
Let b(n) = 52*n**3 - 3*n - 2. Let h be b(-1). Let k be (-1)/((-9)/h)*(1 + 8). Let m = -26 - k. Which is bigger: m or 24?
m
Suppose 22 = 9*a + 2*a. Let g be 8/28*((-12)/8 + a). Which is greater: g or 4?
4
Suppose -5*c = 20, 2*f - c + 684 - 200 = 0. Which is smaller: -242 or f?
f
Let q = 32 - 22. Suppose 14*m + 228 = q*m. Which is smaller: 0 or m?
m
Suppose 6*w + 2*f - 5 = 3*w, 0 = 2*w - 5*f + 22. Let x be (-9)/(-945)*7 + 8 + 14514/(-1800). Is x bigger than w?
True
Let t be 1657/1 + (-20)/(-2). Is 1667 < t?
False
Suppose 16 = 4*c - 3*a, -3*c - 4*a = -c - 8. Let l = -69.8 - -61. Let q = l - -9.4. Which is smaller: q or c?
q
Let w(t) = -4*t**3 + 5*t**2 + 5*t + 3. Let f be w(-4). Suppose -1578 + 302 = 47*r - 51*r. Is r >= f?
True
Suppose -12845 + 12829 = 4*d. Is d less than -78?
False
Suppose 5*c = -3*y - 8785, 2*y - 6312 = 3*c - 1041. Is -1757 at most c?
True
Let t = 8/7201 + -109879/1677833. Is -1 <= t?
True
Let r = -69 - -5. Let k = r - -154. Suppose 0 = 20*i - 15*i + k. Is i equal to -20?
False
Let i be (-1)/24 + (-1)/8 + 9992/48. Which is smaller: i or 190?
190
Let a be (-245)/(-85) + (-4 - -1). Let b be 1 - (4/(-4) - (161 + 2)). Let g = 164 - b. Is a bigger than g?
True
Let y be ((-144)/756)/(2*(-6)/(-18)). Is 3656 greater than or equal to y?
True
Let d = 123.6 - 129.98. Let c = -13.62 + d. Let v = 2 - 1. Are c and v nonequal?
True
Let v be -53 + ((-456)/84 - (-8)/(-14)). Let m be -1*((-21)/(-7) - v). Is -61 at least m?
True
Let z = -6.679 - 0.321. Let g = -2 - 9. Is z < g?
False
Let j = -3027/4 + 757. Which is bigger: j or -62/15?
j
Let b be -5 - (2 - 7)*1. Suppose -23*c + 14*c - 522 = b. Are -57 and c equal?
False
Let p = 675.56 - -195.54. Let q = 871 - p. Which is bigger: q or -3.45?
q
Suppose -69*i - 1734 = -67*i + 2*w, -w - 3468 = 4*i. Is i at most as big as -865?
True
Suppose -4*c = -5*c + 17. Suppose c - 17 = 7*f. Is -1/401 equal to f?
False
Let t be (-4)/2 + 1 - (-9)/12. Let s(x) = 9*x**3 + 3*x**2 - 22*x + 24*x - 10*x**3 - 7. Let r be s(3). Which is greater: r or t?
t
Suppose -3*h - 720 = 3*m, 252 = -30*h + 29*h + m. Which is bigger: -260 or h?
h
Let s be (1377/(-16065))/((-3)/(-14)*-1). Let i = -21 + 43. Is s at most i?
True
Let x be 1*(225/9)/5. Suppose 3*q = 4*w - 33, x*w = -q - 74 + 101. Suppose 0 = -3*m - 2*m - t + 46, -2*m = t - 19. Is w at most as big as m?
True
Suppose 3*t + 25128 = 2*p, -54086 = -5*p - t + 8802. Are p and 12576 equal?
True
Let k = -0.18876 + -5.81124. Let m = -5 + 2. Let z be (-1)/4 - m/12. Which is greater: z or k?
z
Suppose -15*u + 71*u = 42*u - 28. Are 1295 and u equal?
False
Let v(l) = -l + 2. Let m be v(-3). Suppose 0 = -0*t + m*t. Let w be t - 1/(-1) - 1/8. Which is smaller: w or 2?
w
Let z = 0.12 - -2.88. Let b be -1*4/(-1)*(-115)/(-1150). Which is smaller: b or z?
b
Let i = 125 + -160. Let r be (-721)/i - 6/(-15). Let b be (-5)/35 + 486/21. Are r and b non-equal?
True
Let i = 3/130 + -131/7930. Which is smaller: -1 or i?
-1
Let z = -248 - -245. Let a be 252/(-635) - z/45*6. Which is greater: a or 1?
1
Suppose -x + 1 = 0, -30*w = -32*w + 5*x - 5. Is w at most -3/140?
False
Let u = -3/70204 - 174915/835357396. Is u smaller than 0?
True
Suppose -5593 = 124*h - 613 + 1716. Which is smaller: -533/10 or h?
h
Let l be (-7 - -8) + (-123)/126. Let s be 2 + -3 + -7 + -2. Let k(u) = u**3 + 9*u**2 - 10*u. Let r be k(s). Which is bigger: r or l?
l
Let w be (6/16)/((-21)/(-3304)). Are 58 and w unequal?
True
Let c = 4 - 10. Let p = 47952 - 47963. Which is greater: p or c?
c
Let c(z) = 20*z + 314. Let j be c(-10). Suppose 4*d - 103 = -p - 16, -5*d - 3*p + j = 0. Which is smaller: 12 or d?
12
Let q = 423.21 - 426. Let w = q - -4.79. Is w at most -15?
False
Let y = -151 + 63. Let c = y - -69. Let u = -14 + 12. Is u greater than or equal to c?
True
Let f = 166.451 + -166.3. Let a = -41 + 41.051. Let j = f - a. Which is smaller: j or 1/6?
j
Suppose -5*r - 3 = 5*g - 18, 21 = 2*g + 5*r. Let q(t) = -8*t**3 - 5*t**2 + 4*t + 4. Let x be q(g). Is 42 >= x?
True
Let q be (1 - 2)/((-259)/158). Let x = q - 12/37. Suppose -40*t + 41 = -35*t - 3*a, -10 = 5*a. Do x and t have the same value?
False
Let o = -4761/17 + 280. Let v = -55 + 55. Suppose 2*b - 11*b - 9 = v. Which is smaller: o or b?
b
Let n = -0.55 - 0.05. Let u = -8638.6 - -8638. Let r = n - u. Is -3 smaller than r?
True
Let h = 315 + -297. Suppose 438 = 12*y + h. Which is smaller: y or 41?
y
Let p be (-12)/(-27)*(-97065)/(-30). Suppose 4551 = -11*a + p. Is -283 greater than a?
False
Let p be 12/22 + (-166)/264 + 21/252. Do 27/113 and p have different values?
True
Suppose 14*c - 105 = -7*c. Let j(v) = -3*v + 11. Let n be j(c). Let t be (-6)/(-9) + 60/(-9). Which is smaller: n or t?
t
Suppose 2*j = l + 100, 0 = -6*j + 11*j + 4*l - 224. Suppose 324*v = 320*v + j. Which is greater: -2 or v?
v
Let g(p) = -p**2 + 15*p - 34. Let n = 9 + 4. Let i be g(n). Do i and -8 have different values?
False
Suppose 111*l + 2112 = 115*l. Let k be l/(-440) + 6/80. Is -0.1 bigger than k?
True
Let o = -5.4751 - -0.0251. Let y = o + 5.39. Is y not equal to 4/3?
True
Suppose 245 = -4*c - 5*g - 1046, -2*c - 5*g = 633. Let q = -204437 + 204109. Is q less than c?
False
Suppose -3*k - d = 374, 5*k - 4*k + 2*d + 128 = 0. Let m be (1 + 123 + -1)*(518 + -519). Is m greater than k?
True
Let j(f) = 2*f**2 + 3*f - 3. Let i be j(-3). Let b = 30 + i. Let g be (10/(-30))/(14/b). Is -2 smaller than g?
True
Suppose -d = -2*u + 37, -2*d - 2*u + 3*u - 65 = 0. Let c = d - -55. Suppose -10*i + 9*i + c = 0. Is 24 <= i?
True
Let f = -4 + 3. Suppose -5*l - 10 = -30, 2*w = -l. Let k be -31*w/(-56) - (-2)/8. Which is bigger: k or f?
k
Suppose -5*r + 4*n - 4 = 0, 3*r - 4*r + 12 = -4*n. Let z be (-12)/(-20) - r/10. Let d be ((-2202)/438 - -5)*3/(-9). Which is greater: d or z?
z
Suppose 265*m + 756 = -3*q + 268*m, 10 = -2*m. Which is smaller: -283 or q?
-283
Let c = -34 + -29. Let n = c - -62.9. Let t = -14.9 + n. Which is smaller: 1 or t?
t
Suppose 73*y = 3481 + 5352. Is 362/3 greater than or equal to y?
False
Suppose 4*j - 22 = -w, -5*j = w + 3 - 29. Suppose 0*t - s + 14 = 4*t, t = 3*s + 10. Suppose 0*x + t = x. Is x > w?
False
Let i = 185027 + -1578095281/8529. Is 1 less than or equal to i?
False
Suppose 2*c - 158 = 100. Let i = -130 + c. Which is smaller: -2/211 or i?
i
Let z(x) = 408*x - 883. Let c be z(3). Which is smaller: -2 or c?
-2
Let o = -103 + 117. Suppose 4*k + 2*t - 30 = 0, 4*k + 2*t = 2*k + o. Is k at least as big as 9?
False
Let s(u) = -67*u