 bigger: l or q?
q
Suppose -4992 = 13*j + 13*j. Which is bigger: j or -173?
-173
Let l = -2681/19 + 141. Let d(r) = 13*r - 35. Let j be d(3). Suppose j*s - s = -3. Which is smaller: l or s?
s
Let f be (85/(-25))/(((-12)/(-10))/(-2)). Let k = f - 6. Which is bigger: 6/5 or k?
6/5
Let n = 37 - 37.43. Let w = -1.43 - n. Is w at most as big as 1.2?
True
Suppose 5*u - 206*m = -208*m + 77270, 3*m + 77245 = 5*u. Is 15452 at least u?
True
Let q(w) = w**3 - 22*w**2 - 388*w + 44. Let p be q(34). Is p not equal to -1/6?
True
Suppose -3074*h + 3078*h - 4 = 0. Let q = 298/11 - 5464/209. Are q and h non-equal?
True
Suppose 239 = y - 3*h, 4*h + 310 = 4*y - 686. Let t = y - 179. Let f be (60/t)/((-1)/(-20)). Is f greater than 16?
False
Let x(q) = -23*q + 62. Let k(a) = 47*a - 125. Let l(m) = 3*k(m) + 7*x(m). Let o be l(3). Let y = -45863/104 - -441. Is o less than y?
True
Suppose 6 = z + 2. Suppose 4 = z*g + 3*v, 5*g - v - v - 5 = 0. Which is smaller: g or 1/11?
1/11
Suppose -4*s + 2*s = 634. Let n = s - -318. Let z = 282 + -3662/13. Is z at most n?
True
Let u = -10024 - -10015.49. Is u <= 9?
True
Let j(w) = -3*w**3 + 12*w**2 - 8*w + 20. Let n be j(8). Let r be 1/(-4) - 287/n. Let f be 0/(-2) - 1/(-3). Which is smaller: f or r?
r
Let o be (-140)/50*(-175)/(-10). Let y = 48 + o. Which is bigger: y or -2/29?
-2/29
Let r be 3/(-9*1)*-3. Suppose -4*p + c + 1312 = 0, -p - 999 = -4*p - 3*c. Let f = 25663/78 - p. Are f and r nonequal?
True
Let r = 2 - 3. Let f = -270/59 - -2466/1003. Which is greater: f or r?
r
Let l(p) = -19*p**2 + 3*p - 2. Let f = -107 - -108. Let y be l(f). Let u be 1730/(-90) + (-4)/y. Which is smaller: -21 or u?
-21
Let j = 3741 + -3740.98. Are -2.91 and j equal?
False
Suppose -11 - 29 = -5*k. Let m be (1 - 7)*(-704)/33. Suppose 0 = -125*q + m*q - 3. Which is smaller: q or k?
q
Let k = 8528 - 5790. Which is smaller: k or 2736?
2736
Let q(x) = -x**2 + 13*x - 36. Let n be q(10). Let z be (-1)/(-7)*(-63)/n. Let t = 3 - 2. Which is greater: t or z?
z
Suppose -5*n - 37 = -3*f, 16*f = 21*f + 4*n. Let d be (-50)/(-18) - f - (-10)/45. Suppose 4*p - 2 + 6 = 0. Is d < p?
False
Let d be (-22)/(-77) + 33/7. Suppose 3*p - 86 = -d*u, 0*p = 4*u - 4*p - 56. Is u at least 6?
True
Suppose -j + 0*j - 2 = 0. Suppose 15*i - 9*i = 1704. Let c = 1699/6 - i. Which is smaller: j or c?
j
Let z = -529 - -1049/2. Let a be 1 + (4 - -3) + -4. Suppose 2*m - 3*m - a = 0. Do z and m have the same value?
False
Let m = -19727/20 - -4163/4. Are -1 and m equal?
False
Let w(s) = s**3 + 4*s**2 - 5*s + 2. Let f be w(-5). Suppose -4*i + 0*i = 4*g + 36, i + 14 = -f*g. Suppose 122 = -24*u - 24*u - 70. Is u greater than g?
True
Suppose -2*r = -2*l - 18, -r - 19*l = -21*l - 17. Is 1/4164 at most as big as r?
True
Suppose -4*p = -3*s - p + 4002, -2*s + 2648 = 3*p. Suppose -27*z - s = -13*z. Is z > -93?
False
Let c = 16.2 + -146.2. Let y = 129.94 + c. Is -21 <= y?
True
Let c = 11176/13 + -78345/104. Which is bigger: c or 107?
107
Let g be (-1)/9 + (-133)/(-63). Let o(t) = t**2 + 13*t + 3 - 1 - 4*t**g + 4*t**2. Let b be o(-10). Is b >= -28?
True
Suppose -27 = -3*r + 12*r. Let m be 1 + 1317/(-189) - -3 - r. Let c = m + -20/63. Which is greater: c or 0?
0
Let f(g) = g**2 + 10*g - 57. Suppose -3*i + 5*h = 60, 0 = -3*i - 0*i - 4*h - 33. Let m be f(i). Are m and 16 equal?
False
Suppose 0*b + 36 = -3*b. Let s be ((b/(-4))/(-1))/((-1)/1). Suppose v - 5 = -3*f, -20 = 5*v - s*f + 9. Which is smaller: -10/3 or v?
v
Let o = -205 + 291. Let a = o - 85. Do a and -9/8 have the same value?
False
Let w be (-6)/9*30/(-4). Suppose 5*n = w*q + 15, 2*n + 2*q + 6 = -0*n. Suppose n = 11*b - 13*b + 30. Is 15 at most as big as b?
True
Let w = -18 - 11. Let r = -29.06 - w. Let n = -2.94 + r. Is n equal to -9?
False
Suppose -3*f + 4 = 2*o - 13, 0 = 2*o - 5*f - 9. Suppose c - o = -43. Let v = 496 - 530. Which is smaller: c or v?
c
Let r be 51/(-27) + 4 + (-111)/27. Let f be (6/4 - r)*(-10 + 2). Which is greater: -107/4 or f?
-107/4
Let d(w) be the second derivative of w**3/6 + 13*w**2/2 - 27*w. Let n be d(-15). Let y be (-1 + -2)/6*0. Which is smaller: n or y?
n
Let t be 3590/24 + 33/(-132). Which is smaller: 149 or t?
149
Let g = 4 + -4. Let q be ((-1)/4)/((-1734)/(-272)). Is q less than g?
True
Suppose 8*k + 22 = 9*k. Let a = k - 23. Let d = 93 - 97. Do d and a have different values?
True
Suppose -c = -19 - 17. Let j be 17220/392*(-30)/25*(-22)/33. Is j less than c?
True
Suppose 3*v = -5*z + 25 + 17, -2*z = v - 17. Let b be (2 - 34/(-3))*(-399)/(-646). Is b bigger than z?
False
Let z = -9668 - -9667.9. Which is smaller: z or -216/5?
-216/5
Let g = -20679 + 20679. Which is smaller: 4/1735 or g?
g
Let v = 5 + -7. Let p = -402.1 - -440. Let x = 38 - p. Which is smaller: v or x?
v
Let y(z) = -z**3 + 116*z**2 - 3416*z + 39. Let n be y(67). Is -8872 at most n?
True
Let a be 64/24*6/4. Suppose -5*v + 0*v + 2*s + a = 0, 6 = -3*s. Is -2/539 equal to v?
False
Suppose 0 = 4*h - 24 + 4, 2*t - 2*h - 300 = 0. Suppose -t = -12*p - 947. Let d = p + 67. Which is greater: 2/9 or d?
d
Let p = -329 - 1372. Is -1701 smaller than p?
False
Let q(t) = -3*t**2 + 88*t - 33. Let h be q(30). Is -187/2 greater than h?
False
Let v = 8119 + -8401. Are v and -287 equal?
False
Let o(h) = -h - 1. Let u be o(-1). Let d = -80442 - -966049/12. Let n = d - 251/4. Is n >= u?
False
Let w = -1927/2 - -942. Let d = w - -15. Is -6 at least d?
True
Let a = 3.91 + 29.39. Let t = -1360 + 1327. Let u = t + a. Is -7 less than or equal to u?
True
Let r = 4411/50 + -147/100. Let o(i) = 2*i**2 + 48*i + 304. Let g be o(-18). Is g at most r?
False
Suppose 39 = 3*i - m, -4*m + 2*m = -2*i + 26. Let b(y) be the third derivative of y**4/24 - 3*y**3 - y**2 - 14. Let v be b(i). Which is smaller: v or -8?
-8
Let c be 848/576 + (-40)/32 + (-2986)/396. Which is greater: -6 or c?
-6
Let x be 5 - 1 - (-43 - 4). Suppose -3*t + 0*t = -x. Suppose t*p = 23*p + 30. Which is smaller: p or -38/9?
p
Let j be (-162)/(-27)*(-3 + 337/111). Do j and -2 have different values?
True
Let v(k) = k - 7. Let z be v(7). Let c = 164 + -168. Let w be 4/18 - -10*c/90. Which is smaller: z or w?
w
Let d be (6 - 32/24)*93. Suppose 19*r - d = 50*r. Is r equal to -22?
False
Let f = 2595.9 - 2580. Which is smaller: -3/2 or f?
-3/2
Let n(j) = j**2 + 7*j - 22. Let l be n(0). Is l bigger than -31?
True
Suppose -v - l = -5*l - 972, -5*v - 4*l = -4980. Is 981 > v?
False
Let w = -1/1854 + 11593/10197. Which is smaller: w or 10?
w
Let f be (-54794)/468 + (-12)/(-54). Let u = f + 1452/13. Let a(j) = -j**2 + j + 1. Let x be a(-2). Which is smaller: u or x?
u
Let c = 11/6 - 3/2. Let v = -31 - -42. Suppose 30 = 8*k - v*k. Is c bigger than k?
True
Let x(k) = -k**3 - 18*k**2 - 19*k - 14. Let z be x(-17). Let r = 19 - 19.22. Let u = r + 0.32. Does u = z?
False
Let l = 76.11 + -75.11. Let a(z) = z**2 + 5*z - 10. Let k be a(-7). Suppose -2*d - 2 = 0, k*r - 4*d = -d + 3. Which is smaller: l or r?
r
Let t = 3441961513/11391 + -302165. Which is smaller: 1 or t?
t
Let a(d) = 5*d + 27. Let r be a(-6). Let y be ((30/(-14))/r)/((-22)/(-77)). Which is bigger: y or 4?
4
Let s be (2773/(-118))/(3406/(-852) - -4). Is s != -10011?
False
Suppose -4427 + 67571 = 54*d - 78*d. Which is smaller: d or -2628?
d
Suppose 18*l = 20*l - 854. Let z = -457 + l. Which is bigger: z or -28?
-28
Let k(b) = 5*b - 15. Let j be k(3). Let p be 1 + j/(((-4)/(-1))/(-4)). Which is smaller: -5/14 or p?
-5/14
Let q = 34348/5 + -6867. Let l(d) = -d**2 + 3*d. Let z be l(2). Which is smaller: q or z?
z
Suppose 115*r - 116*r = -6. Let s be 88/132 + 38/r. Which is greater: s or 13/2?
s
Let k = -751/2 + 20281/54. Let l be ((-1)/2 - -2)/12. Is k < l?
True
Let o(u) = 3*u + 17. Suppose 5*n + 2*r - 4 = -44, -3*n + 4*r + 2 = 0. Let h be o(n). Is h != -1/732?
True
Let i = 140 + -205. Let r = i + 394. Is r greater than or equal to 0.1?
True
Let x be 55/110 + (51/12 - 4)*2. Let q = -110 - -34. Is x bigger than q?
True
Suppose -31*l = 12557 - 158660. Which is smaller: 4714 or l?
l
Let x = 961 + 489. Which is bigger: 1448 or x?
x
Let m = 16748 - 9179. Which is greater: 7568 or m?
m
Suppose 12277*o = 12307*o - 33690. Is o greater than 1131?
False
Let q = 10301 + -1534868/149. Are -1 and q unequal?
True
Let g = 1464 + -1462. Let w = 10 - 6. Let a be w/(-14) - 115/(-35). Wh