igger: 0.01 or z?
z
Let y = 267 - 121. Let c = -149 + y. Is -1/43 bigger than c?
True
Let p be 2/(-4)*(-204)/(-34). Let i be (-1)/(p/(-24)*8). Which is bigger: -1/972 or i?
-1/972
Let t be ((-8)/6)/(-1 + 7). Let y = -36749/11 + 3341. Which is greater: t or y?
y
Let y be (-10)/(-40) + (-32392)/32. Is y bigger than 2?
False
Let l be (6615/120 - (-3)/(-24))*1. Is l >= 11?
True
Let f(q) = 39 + 0*q - 57 + 22*q. Let b be f(1). Is 26/5 less than b?
False
Suppose 5*i - 6 = 3*q - 0, -q - 2 = 5*i. Let x = -2/63972487 + -2491216588644/3518486785. Let g = x + 708. Which is greater: g or i?
i
Suppose -4*x + 8 = 2*n - 2, 9 = 4*x + n. Suppose -5*r + 170 = -x*h - 0*h, 0 = 3*h - r + 229. Are -76 and h non-equal?
True
Let b = 823618723162129845/19 - 205298884511084938842427179/4736024930. Let c = b + 34254/87955. Let y = c - 2/1417. Is y less than or equal to 17?
False
Suppose 0 = -7*r + 2*r + 5. Suppose 3*k + 173*k = 9*k + 501. Is r greater than or equal to k?
False
Let d = 12.47 - 0.47. Let g = d - 48. Let t = 63 + g. Which is smaller: -1/2 or t?
-1/2
Suppose -6*k = -i - 9*k + 10, 2*k + 68 = 4*i. Suppose 21*z = i*z + 215. Let f = 3/188 - -349/1692. Is z equal to f?
False
Suppose 0 = 130*j - 137*j + 70. Let a be 1232/55 + 0 + 8/j. Is 24 <= a?
False
Let x(y) = -5*y - 6. Let k be x(-4). Let d = k + -17. Let b be d*(-4 + 70/15). Is -8/3 at least as big as b?
False
Let x = -81236 - -81244. Suppose 2*y - 4 = 0, 0 = -4*p - y - 110 - 264. Let b be (-2)/(-7) - p/14. Is x greater than b?
True
Suppose 0 = 27*v - 26*v. Suppose v = -6*t + 4*t + 48. Let l be (-1125)/(-72) + 9/t. Which is smaller: l or 18?
l
Let s = 16 - 24. Let q = 7.95 + s. Let h = 0.171 + -0.271. Which is greater: q or h?
q
Suppose s - 2 = -v, 4*s - 8 = -677*v + 676*v. Which is bigger: v or 62/81?
62/81
Let v(n) = 3*n**3 + n**2 - 2*n + 2. Let k be v(2). Let f be k/91 + (-128)/7. Suppose t - s = -7 - 10, t + 2*s + 20 = 0. Are t and f nonequal?
False
Let p = -2.75 - -58.75. Let k = 53 - p. Which is bigger: k or 2/3?
2/3
Let s = -37.502 + 37. Let n = -0.54 - s. Is -1/3 <= n?
True
Let o = 491 - 499. Let x(z) = 42*z + 295. Let u be x(o). Which is greater: -44 or u?
u
Suppose -10*m - 8 = -6*m, 3*n - 2*m - 163 = 0. Let o be n/108 - (-10)/(-20). Is 0 bigger than o?
True
Suppose 2*h - 6*w = -2*w + 186, -5*w - 455 = -5*h. Let v be (-269 + 262)*-1*(-88)/(-7). Is h at least as big as v?
True
Let c = -31756 + 31659.374. Let g = c - -98.6. Let d = g - -0.026. Which is greater: 8 or d?
8
Suppose 252*a = 270*a + 94014. Are a and -5221 unequal?
True
Let o be (10/(-30))/((0 - 64/(-21)) + -3). Is 145 smaller than o?
False
Let d(n) = 4*n - 32. Let l be d(10). Let r be (-4)/40*((-14)/l + -2). Let h(t) = t**3 + 12*t**2 + 20*t. Let o be h(-10). Which is smaller: o or r?
o
Suppose 125*n = 40*n - 170. Is -132/203 at least as big as n?
True
Suppose 10*t - 2 + 348 = -464. Which is smaller: -1/8 or t?
t
Let z = -346 + 238. Let q = z + 105. Let s = 3/35 + 99/70. Which is smaller: s or q?
q
Let t = -578.96 - -579. Let g = t - -0.06. Which is smaller: 57 or g?
g
Suppose -2550 = -13*u - 8777. Is u < -479?
False
Let s be (-3001)/122*(-252)/456645. Let m = s + -2/4349. Is 0 <= m?
True
Suppose 0 = 8*k + 2 - 50. Let v be (27/k)/((-48)/(-3008)). Is v != 281?
True
Let h(k) = 44*k - 28. Let b be h(1). Suppose 5*q - 5*z = 3*q + 23, -4*q + 54 = -2*z. Is q bigger than b?
False
Let a = -173499/82 - -4231/2. Let h be (-3)/(-12) + (-12)/(-16). Is h less than or equal to a?
False
Suppose g = -5*d - 3, -3*g + 2*d = 8 + 1. Let j = -2471.9 + 2472.06. Which is greater: g or j?
j
Let r = 380631726/1319 + -288576. Do -1 and r have the same value?
False
Suppose -2*s = k + 8 - 25, 0 = 4*s - 3*k - 59. Is s greater than 376/39?
True
Let g(p) = -4*p**2 + 10*p + 18. Let w be g(-2). Suppose 6*o = 5*o + 4. Suppose -o*k = -2*c + 74, -71 = k + 3*k - c. Which is smaller: k or w?
w
Let n be ((-1)/(-2))/((-3)/(-132)). Suppose 5*j - 5*i = 0, 2*j - 3*i + 0*i = 0. Suppose -24*s + n*s + 12 = j. Is 9 less than or equal to s?
False
Let f = -6.5 - -24.7. Let v = 10.2 - f. Which is smaller: -2/15 or v?
v
Let w = 460.8463 + 0.1537. Is 0.3 at most w?
True
Suppose -9*b = -4*b + 390. Let f be b/49*(-2092)/6. Let g = -555 + f. Which is greater: 1 or g?
1
Let k be (-9 + 10439/1155)/((-20)/(-6)). Let w = k - 187/1050. Which is smaller: w or -6.7?
-6.7
Let a(r) = -2*r**2 + 14*r + 4*r**2 - r**2 + 9. Suppose v = -2*p - 8, 7*v - 2*p = 2*v - 76. Let c be a(v). Is 14 less than or equal to c?
False
Suppose -11*l = -14 - 8. Suppose u - l = 3*u. Which is smaller: -5/108 or u?
u
Suppose -3*t - 47 = 2*m + 22, -t - 3 = 0. Let o = 17 - 46. Let b = o - m. Is b not equal to -3/23?
True
Let l = 296 + -166. Let k = 116 - l. Let v = k + 15. Is v greater than or equal to 0.71?
True
Suppose 2*r - 162 = -150. Suppose -3*j = -r*j + 27. Do j and 6 have different values?
True
Suppose 12 - 40 = 7*r. Let g be 53/53*r/1182. Which is smaller: 0 or g?
g
Let y be 4/16*0 - 8. Let j = 12 + y. Suppose -12 = -8*b + j*b. Is 14/5 <= b?
True
Let p = -3.96 + 4. Suppose 3*t + 3*t + 660 = 0. Let u = -988/9 - t. Is p >= u?
False
Let n = -40.062 - -0.062. Let k = n + -8. Is -1 smaller than k?
False
Let d = 275 - 276. Let a = -64.1 - -11.1. Let k = -52 - a. Is k != d?
True
Let i be (27 - 187) + -6*1. Let k = i + 211. Is k at least as big as 46?
False
Let h be (-16)/(-30)*15/(-1338). Which is smaller: h or -1?
-1
Let s be 6*4/24*13. Suppose -6*c = -s*c. Is 1/386 <= c?
False
Suppose -4*u - 6 = 2*u. Let r = -82153/21 + 3912. Which is smaller: u or r?
u
Let a = 609.25 - 609.2. Is a greater than -172?
True
Suppose 77*u - 5569 = 5622 + 13141. Is 316 < u?
False
Suppose 3*w - w + 14118 = -13*s, 5430 = -5*s + 3*w. Is s smaller than -1086?
False
Let q be (324/3645)/(8/5). Is q > 38?
False
Let w be ((-113)/(-452))/(13/1452). Which is smaller: 27 or w?
27
Let f = 518 + -389. Let s = -20 - -149. Is s not equal to f?
False
Suppose 0 = -209*h + 204*h - 5*d - 5125, -2*h + 5*d - 2036 = 0. Which is greater: -1020 or h?
-1020
Suppose -x - 5*r + 3816 = 3304, 2*r = -3*x + 1562. Which is smaller: 525 or x?
x
Suppose -42*h - 45554 = 131802 - 31196. Which is greater: -3481 or h?
h
Let j(h) = 24*h**2 - 27*h + 18. Let y be j(2). Which is smaller: 61 or y?
y
Let j(h) be the second derivative of 11*h**5/10 + h**4/12 - h**3/6 + h**2/2 - 20*h. Let k be j(1). Let t be (0 + -4)/(4/(-24)). Is k < t?
True
Let v be (1 - 2)/(-3)*12/(-549). Let x = -11509/2745 + v. Which is greater: -3 or x?
-3
Let j(l) = 4*l + 3 + 13 + 4 - 7. Let h be j(-3). Let m be ((-16)/24)/(h/9). Which is bigger: 2 or m?
2
Let v = 48 + -46. Suppose -16 + 20 = -3*g - 5*w, 4 = -2*g - v*w. Is g at most 19?
True
Let m(x) = -22*x - 671. Let g be m(-33). Which is smaller: g or 60?
g
Let b = -4014 - -4070. Which is bigger: 83 or b?
83
Let b(h) = -h**3 + 3*h**2 + 3*h + 10. Let t be b(5). Suppose 3*p - 5*n + 22 - 1 = 0, 12 = -2*n. Which is smaller: t or p?
t
Let n be 18/5*((-67)/(-335) - 1453/15). Which is smaller: n or -344?
n
Let i(k) = -188*k + 6952. Let o be i(37). Which is bigger: o or -642/13?
o
Let c = -0.046 + -0.154. Suppose 10 = 3*a + r - 5, -4*a + 18 = 2*r. Let l be (-82)/a - 2/6. Is c < l?
False
Let m = -1121 - -109857/98. Let k = -41.323 - -41.423. Is m at least as big as k?
False
Let f = -652414/1629 + 3604/9. Which is bigger: 0 or f?
0
Suppose 29*g = -4*g - 228*g - 115101. Is g less than -441?
False
Suppose -5*p + 15 = -b + 6*b, -b + 5*p - 21 = 0. Let h(l) = -2*l**3 - 30*l**2 + 4. Let x be h(-15). Let y be ((-16)/564)/(x/6). Which is bigger: y or b?
y
Let k(x) = 3028*x - 21 - 13 - 3029*x. Let g be k(-35). Which is bigger: -1/419 or g?
g
Suppose 2*a = -3*b + 9, -b = -0*a + 4*a + 7. Suppose b*q - 8*q = 0. Let t = -2699/110 + 122/5. Which is bigger: t or q?
q
Suppose -5*a - b - 2286 + 77 = 0, 0 = -a + 16*b - 458. Is a equal to -441?
False
Let c = -16 - -15. Let i = 17 - c. Let z = i - 18.1. Is z smaller than 3?
True
Suppose -2377*o - 13020 = -2347*o. Which is smaller: -3898/9 or o?
o
Let h be (0 + 0)*(2 + (-10)/6). Let x be (h/(-1) - 1)*7. Let c be (-4)/(-6) - x/(63/507). Which is smaller: c or 56?
56
Let d be 63/(-720)*-1 + 4/(-40). Let j = -17.1 + 17. Is d at least j?
True
Let f be 4/1 - 2 - (-30)/6. Suppose 3*p = 4*q - f*q, 0 = -q + 5*p + 12. Suppose 7 = 5*t + q*t. Is t bigger 