= -5*v, 0 = -4*j + v + 3132 - 9656. Which is smaller: -1630 or j?
j
Let s = 873 + -871. Let a = -0.07 + 32.07. Is a less than s?
False
Let l = 2/106433 + 106363/3725155. Are l and 1/73 nonequal?
True
Let k = -11615454/337879 + 6570/191. Which is bigger: k or -1?
k
Let b = 4.8 - 4.63. Let z = 107 + -62. Let p = 44.8 - z. Which is greater: b or p?
b
Let m(a) = 6*a**2 + 446*a - 110. Let j be m(-72). Which is smaller: j or -1116?
j
Let t = 46727413/1011 - 46219. Do -1 and t have the same value?
False
Let s = 9205 + -5998. Is 3207 < s?
False
Let h(a) = -a**2 - 12*a + 29. Let b be h(-14). Let w be 15/(-81) + b/(15/3). Let s(m) = -m + 1. Let v be s(1). Which is bigger: v or w?
w
Let x = -1054694/2421 + 502/269. Which is smaller: -435 or x?
-435
Suppose -2*p = 5*m + 6, -6*p = -2*m - p + 15. Let a be (-20)/(-110) - 350/2893. Let s = a + 2692/7627. Do m and s have the same value?
False
Let l = -14002.4248 - -14001. Which is bigger: -1 or l?
-1
Let u be 11/((-33)/(-6)) + -14. Let d be (-6 - 69/u)*2. Which is smaller: -0.94 or d?
-0.94
Let i be 3/((-10)/(-9) + -1). Suppose 646 = i*y - 56. Does y = 28?
False
Let y = -3474271/561 + 6193. Which is smaller: y or -1?
-1
Let d be 38/(-95) + 1152/(-20). Let j be 284/(-5) - 5/25. Is d bigger than j?
False
Let b = -136 - -142. Let u be (-79)/(3/b*(-3 - 7)). Which is bigger: u or 15?
u
Let z = 357 - 357. Let r be z + -1 + 16/(-5 - -13). Is r equal to -2/483?
False
Let d = 2226 + -2224.585. Is d < -1/4?
False
Let o = -10333/3 - -3445. Do o and -12679 have different values?
True
Let q = -2993 + 2992.9549. Which is smaller: q or -0.2?
-0.2
Suppose -65*g - 2136 = -63*g. Let b = g + 35242/33. Suppose 3*t = -u - 2*t - 1, 0 = 3*u - 5*t + 3. Is b < u?
False
Let y(z) = z**3 - z**2 - z + 1. Let x be y(0). Let m = -33649 + 1783400/53. Is x at most as big as m?
False
Let b be (-14)/(-8) - 5/(-8 - 42/(-4)). Which is smaller: b or -1.8?
-1.8
Let k be ((-2)/8)/(((-57)/(-1292))/3). Which is smaller: k or -8?
k
Suppose 2*s = 3*x + 34, 0 = 156*x - 157*x + 4. Let c = -41 - -51. Which is smaller: s or c?
c
Let b be ((-5)/15)/(1/102*2). Suppose 0 = -4*v + 4*x - 40, 147 = 3*v - x + 185. Which is smaller: v or b?
b
Let o be ((-6)/33 - (-112)/132)*(38 + -41). Let f = -3469/2085 + -2/695. Which is smaller: f or o?
o
Let w be (20/(101 + 19))/((-401)/27). Do w and -1 have the same value?
False
Let t = -3287 - -3285. Is -834 smaller than t?
True
Suppose -q = -4*i - 4*q + 12, 5*q = -2*i + 20. Suppose i = 6*p + 305 + 433. Is -123 >= p?
True
Let q(n) = n**2 - 15*n - 13. Let v be q(16). Let j be ((-1)/(-2))/(v/(-2)). Is j equal to -16?
False
Let k be (-1)/(-18)*-3*6. Let b be k/(6 + (-824)/136). Which is greater: b or 25?
25
Let j = 80 + 161. Let f = -239 + j. Which is greater: -37 or f?
f
Let l be 32/108*18246/140. Let z = l - 270/7. Which is smaller: -1 or z?
-1
Let h(v) = -v**2 - 9 - 2*v**2 + 3*v**2 + v**2. Let i be h(-3). Suppose 4*l - 10 - 22 = i. Is l at most as big as 7?
False
Let r = 4409 - 4394. Is r at most -1282?
False
Let r be ((-5)/1950)/((-1652)/56). Which is bigger: r or 0?
r
Let c = -15/44 - -1/11. Let x = 314.84 + 1.16. Let a = -315.93 + x. Which is smaller: a or c?
c
Let k be (-969)/136 - (-3)/24. Which is smaller: 9 or k?
k
Suppose 1474 = -16*j + 402. Let g = 100 - 166. Is j smaller than g?
True
Suppose -4*r + 324 + 306 = -10*s, 2*r + 10 = 0. Which is smaller: -2 or s?
s
Let p = -958.046 - -958. Which is bigger: 0.06 or p?
0.06
Let x(k) = 33*k - 3. Let a be x(-3). Let g = 65 - a. Let l = -1178/7 + g. Do -1 and l have different values?
True
Suppose 6*v - 10 = v. Suppose 5*w = -r + 111, 4*w - v*r - 25 = 75. Let o = w + -19. Which is bigger: 6 or o?
6
Let f = 0.6 + 0.4. Suppose -34*c + 29*c = -3*b - 34, -3*b - 64 = -2*c. Is b greater than f?
False
Let o(v) = -21*v - 33. Let f be o(4). Let u = 1493 - 887. Let i be 8/52 - u/f. Which is bigger: i or 6?
6
Let k be 2 + 582 - 0 - (50 + -51). Let x be 6/(-39) + 51/k. Let h = 1 - 1. Which is smaller: x or h?
x
Suppose 2*m - g + 6*g - 12 = 0, -5*m + 92 = -3*g. Suppose 4*w = -16*w. Suppose w = o + 3 + m. Is -19 <= o?
True
Suppose -101*g + 214200 = -38199. Which is bigger: 2498 or g?
g
Let y = -66027 + 2904713/44. Does -12 = y?
False
Let q(a) be the first derivative of -3*a**2 + 48*a - 11. Let p be q(-11). Let v = -67 + p. Are v and 48 non-equal?
True
Let j = -142 + 54. Let r be 2/11 - 6/j. Let m = -10888 - -10881. Which is bigger: r or m?
r
Let q = -0.2173 + -0.0097. Let o = q - -0.227. Is 5/11 at least o?
True
Suppose 4*g + 18 + 34 = 0. Let b(d) = d**3 + 17*d**2 - 29*d - 61. Let m be b(-18). Let n = m - 151. Which is smaller: g or n?
n
Let c be ((-35665)/50)/(324/(-645)). Let n = 1420 - c. Is 1 less than n?
False
Suppose -3*g + 6 = -g. Suppose 4*a + 2*v + 64 = 48, 4*a - 5*v = 12. Is g at most as big as a?
False
Suppose 12 = 17*p - 15*p. Suppose -p*n - 5*n = -979. Let s be (-59)/n + -4*(-2)/12. Is s at least as big as 0?
True
Suppose 245*z - 57*z - 1554760 = 0. Is z >= 8271?
False
Suppose -1446 + 1429 = -17*g. Which is smaller: 2/12271 or g?
2/12271
Let j be 257/((-4)/(-6 - -2)). Suppose 9*n + j = -616. Let h = n - -97. Which is smaller: -2/77 or h?
-2/77
Let i = -12957 - -12957. Which is bigger: i or -14/737?
i
Let t be -3*((-14)/6 - -2). Let a = 11902 - 11899. Is t <= a?
True
Let t be (-24)/(-420)*396280/(-18). Let w = -2110 - -3368. Let m = t + w. Are m and -1 nonequal?
True
Let h = 1831.0861 + 3.0139. Which is smaller: h or 0?
0
Let j(n) = -50*n + 256. Let b be j(5). Which is smaller: b or -1?
-1
Let c be 65504/408 - (-1)/3. Let a = 161 - c. Are a and -3/13 equal?
False
Suppose 3*r - 13 = 5*u, -u - 99*r - 11 = -101*r. Is u less than -5/576?
False
Let i be (-11 - -13 - 8)*(2280/(-9))/(-4). Which is greater: -378 or i?
-378
Let p(o) = o**3 - 17*o**2 - 5*o - 146. Let m be p(17). Do m and -16 have different values?
True
Let n = -51736 - -51740. Let w(x) = -x**2 - x. Let z(b) = -3*b**2 - 8*b - 3. Let r(y) = 4*w(y) - z(y). Let p be r(4). Which is greater: p or n?
n
Let y be (14/60)/(1/7). Let p = y + -2/15. Which is smaller: p or 3?
p
Suppose 0*g - 43 = -5*g - 3*c, 0 = 4*g - c - 31. Suppose y - 15 = -44. Let v = -21 - y. Is v at least g?
True
Let a(u) = -49*u**2 + 48 - 38*u**2 - 29*u**2 + u**3 + 17 + 51*u + 87*u**2. Let t be a(27). Is -16 at most t?
True
Suppose 735*p - 781*p - 46 = 0. Which is smaller: p or -1/3656?
p
Let n(k) = -k**2 + 16*k + 34. Let s be n(11). Let b = -92 + s. Let c(g) = 6*g**3 + 7*g**2 + 10*g + 6. Let q be c(b). Is q smaller than -122?
True
Let d = 47.26 - 45.46. Is d equal to 6.3?
False
Let i(c) = -779*c - 2045. Let z be i(-16). Is 10418 != z?
True
Suppose 3*z - v = -121 + 294, 0 = 2*z - 2*v - 118. Let s = 161548 + -807738/5. Is z at most as big as s?
False
Let c = 18960 + -18961. Which is bigger: c or 1/53134?
1/53134
Suppose 340 + 139 = 5*z + 2*s, -185 = -2*z - 3*s. Suppose -l + z = 37. Which is greater: l or 62?
62
Let l = -34934 + 34672. Are l and -285 nonequal?
True
Let o = 20192 + -20402. Do -211 and o have the same value?
False
Let j = -2629 - -2580. Which is smaller: -1030/21 or j?
-1030/21
Suppose -a + 7 = 3*h, 33*h - 3*a = 32*h - 21. Which is bigger: 3/9409 or h?
3/9409
Let n be 0/(28 - 17)*-1. Let q be (-48)/20*30/4. Let s be -5*1*2/q. Is s greater than n?
True
Suppose 0 = -84*a - 217*a - 4515. Is a smaller than -30?
False
Suppose 425 - 425 = -26*d. Let a = -107/988 - -7/52. Is d greater than a?
False
Let b = -22178 + 22196. Is b greater than 162?
False
Let i = 89.67 - -27.85. Let b = 1.52 - i. Which is greater: -0.2 or b?
-0.2
Let j = 131 + -248. Let o = j - -109. Are o and -8 equal?
True
Let x be 3*5/6*(-60)/(-25). Suppose 5*m = 0, -4*m - 42 = x*w - 7*w. Are 42 and w equal?
True
Let h be (2/(-3))/((-6)/27). Suppose h*d + 16 = -3*t + 2*t, 0 = 5*t - 5*d - 20. Suppose -26*k - 87 = -61. Is t <= k?
True
Let f be 1/(0 + ((-4199)/26)/(-17)). Which is smaller: -22 or f?
-22
Let p(u) = -u**3 - 11*u**2 - 5*u - 20. Let a be p(-9). Let n = a - -129. Is -0.09 > n?
True
Suppose -3*m - 40 = 5*h, -2*h = -2*m + 3*m + 15. Let k be (101 + h)*3/(-6). Which is greater: -0.05 or k?
-0.05
Suppose -7*d - 70 = -42*d. Let t be (d - 4)*2/((-4)/270). Which is greater: 272 or t?
272
Let g be (2 + -4 - -1)/(2/(-34)). Let r be (g - 26) + 4/1. Do r and -15 have the same value?
False
