hich is smaller: j or 0.63?
j
Let c be ((-62)/3)/(28/6 + (-76)/19). Is -21 at most c?
False
Let b be (-828)/(-351) + 4/(-6). Let v = 1330 + -1328. Which is bigger: b or v?
v
Suppose -47*b - 8322 + 1068 = 31*b. Which is bigger: -94 or b?
b
Let z = -179 + 179. Suppose -308*b = -307*b + 6. Are z and b equal?
False
Let s be (-3 + 6)*3/((-9)/29). Let v = 16 + -48. Is s <= v?
False
Let d = -118 - -340. Let x = 231 - d. Which is greater: 1 or x?
x
Let x = -96 + 99. Suppose -2*m + 6*m + 19 = x*v, -4*v - 5 = -m. Let r be (1001/(-522))/m + (-26)/117. Does 0 = r?
False
Let y be 0/((-14)/(-4) + (-30)/20). Suppose -7*b = -2*b + i + 14, -b + 4*i - 7 = y. Let c = 5 - 7. Which is smaller: b or c?
b
Suppose -3*n = 3*m + n - 163, 4*m - 4*n = 180. Let g be (28/m)/((-2)/(-7)). Let s be (g/5)/(6/(-33)). Is -2 greater than s?
True
Let f = -1810 + 1981. Which is smaller: -0.1 or f?
-0.1
Suppose -k - 5*f + 60 = -4*k, 2*k = 5*f - 45. Let n = -174 + 167. Let x be k/60 - n/(-4). Which is smaller: -13/5 or x?
-13/5
Suppose -20*h = -127*h + 105716. Is 987 greater than h?
False
Let j = -143 + 92. Let i = j - -54. Suppose -n - i*t + 4 = 0, t - 8 = -n - 0*n. Which is bigger: -0.1 or n?
n
Let b be -27 + 23 + (0 - 0). Let q be b + (12/(-7) - -5). Suppose 0 = -4*p + 5*l - 3 - 0, 0 = 3*p + 4*l + 10. Which is bigger: p or q?
q
Suppose -41*r + 42*r = 8. Suppose -3*x = -r*x + 2*x. Is 20/61 < x?
False
Let w = 27222 + -92200913/3387. Which is greater: w or 0?
w
Let s = -67/17 - -151/34. Let m = -683/458 - 2/229. Does s = m?
False
Let i = 56.62 + -56.42. Is i at least as big as 72/43?
False
Let u = 45 - 45. Suppose 0 = -3*h + 2*h - 2*g + 4, u = -2*h - g + 14. Let y be (-324)/(-204) + (h/2)/(-2). Which is greater: 0 or y?
0
Let p = 6059/6586 - 33/37. Let x = p + 1681/356. Is x > 6?
False
Let q be 1/14 - (4/(-23358))/(7784/(-3211734)). Which is smaller: q or 1?
q
Let u = -2.4699 + 2.4199. Suppose 2*k = -5*t + 81, t - 24 = -t - 5*k. Do u and t have the same value?
False
Let k = -63 - -65. Let y be k - (1 + -2)/1. Suppose 0 = -5*w + m - 33, -2*w + 3*w - y*m = -1. Are w and -9 nonequal?
True
Let o = -5419/6 + 914. Let s(c) = c**3 + 8*c**2 + 3*c - 26. Let d be s(-7). Suppose 3*r - 34 = d. Which is smaller: o or r?
o
Let i be (-324)/45 + 2 - -5. Let a = -61.8 - -32.2. Let d = a + 30. Which is smaller: d or i?
i
Let v = -200 - -203. Suppose -8*p - v*p = 374. Which is bigger: p or -29?
-29
Let k = -59 + 182. Let z = 44 - k. Which is greater: -81 or z?
z
Let l(x) = -8*x**3 - 8*x**2 + 14*x + 114. Let m be l(-5). Is 845 at least as big as m?
True
Let s = 153.54 - 197.5. Let l = s - -44. Let c = 7 - 9. Which is bigger: l or c?
l
Let w = -4.2 + 6.183. Let k = w + 0.017. Is 1.26 equal to k?
False
Let j be 6 + -4 - -109 - 1. Let x = 84 - j. Is x smaller than -28?
False
Let y(n) = -329*n**2 - 4*n - 2. Let k be y(-1). Let j = 342 + k. Which is smaller: 2 or j?
2
Let o(k) = -k**3 - k**2 - 2*k - 4. Let t be o(3). Let s(p) = 40*p + 316. Let g be s(-8). Let r be ((0 - -2) + 7)/(g/20). Which is smaller: r or t?
t
Let s = 36942 - 36948. Which is bigger: s or 3492?
3492
Let d = -398 + 632. Suppose 14*u - u + d = 0. Is u <= -23?
False
Let c be 110/9 + (49 - 85) + 24. Which is bigger: c or 5/66?
c
Let w(r) = 2*r**2 - 85*r - 71. Let a be w(33). Which is greater: -700 or a?
a
Suppose 78585 - 78585 = 5*a. Which is smaller: 5/6504 or a?
a
Let b be (-2 - 37219/(-18629))*(-4 - (-3 - 0)). Which is bigger: b or -1?
b
Let l be (-18)/24*-4 - (-6 + 2). Suppose -24*s + 27*s = 0, 0 = -4*z + 3*s + 152. Which is smaller: l or z?
l
Let s = 60.73 + -60.63. Which is smaller: -302 or s?
-302
Suppose 2405 = 16*w - 2635. Let d be (4/6 - 1515/w) + 3. Which is smaller: -2 or d?
-2
Let v(h) = h**2 - 27*h - 3977. Let g be v(78). Is -21458 less than or equal to g?
True
Suppose -2*w + 5150 = -4*c, 3184*w = -4*c + 3183*w - 5171. Is c at least -1285?
False
Let t(x) = 4*x**2 + 13. Let m be (-3 + 45/12)/((-3)/24). Let u be t(m). Are u and 157 unequal?
False
Let n be ((-152)/(-3) - 1) + 286/(-429). Let m be (14331/(-18))/(-17) - 4/(-6). Do n and m have the same value?
False
Suppose -12*j = -34604 + 127772. Which is smaller: -7762 or j?
j
Let h = 292206839/1551 + -188399. Does -1 = h?
False
Let n = 2723/8 - 634371/1864. Let i = -3489/68968 + n. Is i smaller than 0?
True
Let w(k) = k**2 - 4*k - 1. Let d be w(4). Let u be (1/5*5)/(1323/(-81)). Which is greater: u or d?
u
Suppose 107*z + 31 = 57*z + 81*z. Which is smaller: z or 6/4835?
6/4835
Let o(q) = -q**3 - 3*q**2 + 162*q - 48. Let s be o(-14). Which is smaller: -162 or s?
-162
Let v = 0.13142 - 2.56442. Which is smaller: v or -1?
v
Let q(g) = -g**3 + 14*g**2 - 6*g - 19. Let b be q(9). Let s = b - 198. Are s and 134 non-equal?
False
Suppose -25 = z - 2*i, -3*z + 4*i = 44 + 29. Let j(b) = -b - 28. Let y be j(z). Is y >= -4/7?
False
Let s be (-2)/(7 - -369)*(-42)/2849. Is s equal to 0?
False
Suppose 270*f + 1403653 + 616776 - 214129 = 0. Is f equal to -6690?
True
Suppose 13*w = 12*w + 7. Let m be (-3)/w*((-1)/(-1) - 0). Let b(j) = j**2 + 3*j + 2. Let h be b(-4). Which is bigger: m or h?
h
Suppose 5*b - 1 - 24 = 0. Suppose 0 = -2*r + 39 - b. Let x(m) = -m + 14. Let j be x(r). Is -0.9 != j?
True
Let j be 7 - 5/(5/2). Let x = 1669 - 1669. Suppose -j*f - c - 18 = x, -4*f - 20 = -5*c + 6. Which is greater: -9 or f?
f
Let d(h) = -h**3 + 2*h - 2. Let k be d(0). Let x = 1.024 + -0.024. Let y = 0.6 - x. Which is greater: k or y?
y
Let m(j) = 8*j**2 + 25*j + 4. Let u be m(-3). Let l = 878/112095 + -7/705. Which is greater: u or l?
u
Let q be 2/8 + 2733112/32. Let i be (q/48)/(-15) + 9/(-24). Is i not equal to -118?
True
Let m(w) = -4*w + 83. Let b be m(26). Let d be 5603/1365 - 2/b. Are 5 and d equal?
False
Let q = -32223 - -32225. Which is smaller: 5702 or q?
q
Let z be ((-15)/(-6) + -1)/((-2)/(-12)). Suppose 3*o + z - 132 = 0. Let m = 42 - o. Is -2/167 bigger than m?
False
Let t be 3 + (2 - 1) - (-1209)/(-286). Suppose 2*q + 2*o = 10, 7 = q - 0*q + 2*o. Let b be 1 - (q + 0)/3. Which is greater: t or b?
b
Let h = -1544.1 + 1544. Is 5 at most as big as h?
False
Let h(i) = -2*i - 10. Let z be h(-3). Let f be ((-35)/(-10))/((-2)/z). Let d be (f - 7) + 1 + -1. Do -4/43 and d have different values?
True
Let i = 430 + -1396. Is i greater than or equal to 3?
False
Let q = 139/12 + -49/4. Are q and -0.2941 nonequal?
True
Suppose p - 9 = 3. Let u(x) = 37*x**2 + 50*x - 70. Let m(g) = -51*g**2 - 67*g + 94. Let c(a) = 8*m(a) + 11*u(a). Let s be c(p). Is s equal to 0.5?
False
Let q(d) = 5*d**2 + 0*d + 10*d + d - 4 + 6*d**2 + d**3. Let r be q(-10). Let p be (-7)/r*(-1 + 0 + 2). Which is bigger: 10 or p?
10
Let l be 2197/1729 - (-12)/(-28) - 0. Let b = 82 + -82.2. Which is smaller: l or b?
b
Let s be (-2704)/(-304) - 4/(-38). Suppose s*w + 7*w - 352 = 0. Which is greater: w or 3?
w
Let o = -1550 + 1546. Let c = -0.6 - -9.6. Is o at least as big as c?
False
Suppose 3*g = 2*y + 1859, 0 = 5*g - 3*y - 45 - 3055. Are 628 and g non-equal?
True
Let z = 7.3 - 7. Let h(s) = 11*s + 4. Let l be h(0). Suppose 2*q + 2*v + 2 = -2*q, -3*q + l = -4*v. Which is smaller: q or z?
q
Let d be (-2013660)/127440 + 15 + 1. Which is smaller: d or -1?
-1
Let z be (-360)/14 - (-2)/(-7). Let b = 1358 - 1355. Suppose 0 = -2*f + b*i - 69 + 7, 0 = 3*f - 5*i + 95. Are z and f non-equal?
True
Let k = 10.3569 - -0.6431. Let q(t) = 5*t**3 - t**2. Let h be q(1). Suppose 3*i - x = -1, 0*x - 14 = h*i + 5*x. Is k < i?
False
Suppose 10*v - 14 = -4*s + 12*v, 2 = -5*s - 4*v. Let u = 3 + -11. Let p be 9/7 + u/28. Which is bigger: s or p?
s
Suppose 5*s - 2 - 108 = 0. Let t = 10830 - 227503/21. Let j = 176/7 + t. Are j and s equal?
False
Let q = -94375 + 94376. Suppose -m = -3*d - 4*m + 12, 20 = -5*m. Let b be (-1 + 4)/((-4500)/d). Which is greater: b or q?
q
Suppose -f = 5*n + 10, 0*n = -3*n - 6. Suppose -l + 4*z - 12 = f, 2*z - 6 = l + 4*l. Is 6/23 less than l?
False
Let b = 36510 - 36509. Let s = -0.53 - 20.47. Which is smaller: s or b?
s
Let a = 2227485/212 + -10507. Which is smaller: a or -12?
-12
Suppose 38 + 138 = -8*p. Let q be 8/(-8) - 894/42. Which is greater: p or q?
p
Let m(v) = -v**2 + v + 82. Let n be m(-13). Let c = 50 + n. Which is bigger: c or -52?
c
Let i = -116 - 40. Let s = i + 1096/7. Is -4/7 != s?
True
Let c be -12*(((-308)/(-63) - 2) 