 Let y be j(u). Which is smaller: -2/5 or y?
y
Suppose 1 = -h + 2*v, 2*h - v + 8 = 4*h. Suppose 28 = h*s - 4*i, i + 4 = -3*i. Is s greater than 7?
True
Let d be -2 - -10 - (177/236 - (-50)/8). Is d at most as big as -4/15183?
False
Let o = 0.17613 - 0.17613. Is o smaller than 270.8?
True
Let f be (-481)/(-1) + -11 + 11. Suppose 4*z = 247 + f. Which is smaller: z or 181?
181
Let s be 8 + -9 + 5 + -1. Suppose -4*k + 112 = 5*r, 3*k + 82 = s*r - 2*k. Is 26 greater than or equal to r?
True
Let y = 12711/3355 - -9/305. Let q = -22 - -48. Let o = -21 + q. Is y greater than or equal to o?
False
Suppose 2*w - 12 = 4*b, 3*w = b - 3*b - 6. Let h = -5575/14 + 480731/1204. Let q = h - -8/43. Which is smaller: q or w?
w
Suppose 2*h - h + 34 = 0. Suppose -23 + 164 = -3*y + 4*p, -11*p = -9*p - 18. Which is bigger: y or h?
h
Let k = -1038964 + 1038951. Let x be (23/(-2))/(2/(-4)). Suppose 0 = 3*l + 10 + x. Does k = l?
False
Let m be (-12)/(-44) + (-82832)/(-1364). Let t = -0.2 + 0. Which is smaller: m or t?
t
Let v = 102 + -53. Suppose 0 = a + 4, 20*w = 16*w + 4*a + 24. Which is greater: w or v?
v
Let i(p) = p**3 + 18*p**2 + 17*p - 3. Let k be i(-17). Let g be (k/(-8))/(108/(-276)). Which is smaller: g or -2?
-2
Let h(x) be the third derivative of x**6/120 + 7*x**5/15 - 29*x**4/24 + 14*x**3/3 + 119*x**2. Let z be h(-29). Which is bigger: z or 33?
33
Let s = -988675/6877 - -1869/13. Let w(i) = 49*i - 1079. Let f be w(22). Do f and s have the same value?
False
Let h = 1651 + -1442. Which is greater: h or -1?
h
Let v = 1857 + -1788. Which is smaller: 342/5 or v?
342/5
Let d be 4275/13 - ((-4)/(-10))/((-260)/100). Is d greater than or equal to 2306/7?
False
Let c be -47 + (-2*1)/((14/3)/14). Is -59 < c?
True
Let a be (3 + 3)*(300/136 - 2). Let m = 0.05 + 0.05. Which is greater: a or m?
a
Let h be 1/(-4)*(-9 + 15 - -6). Is -0.612 bigger than h?
True
Let m = -68 + 142. Let g = -79 + m. Are g and -4/3 unequal?
True
Let a be (-21 - -21)/(-1 - 1). Let o be (-23)/115 + 32/10 + a. Suppose -o*l = 1 + 8. Which is bigger: l or 7?
7
Let x = -26.45 + 1.45. Let y = 25.109 + x. Let m = y + -0.619. Which is bigger: m or -2/3?
m
Let s be 718 - (-56)/(1 - -6) - -4. Is 6580/9 equal to s?
False
Suppose -39*s + 44*s - 20 = 0. Suppose -4*y + 16 = s*i - y, 3*i = 4*y + 12. Let j be ((-45)/(-243))/(i/(-6)). Is j < -1?
False
Suppose 133*u + 900 = 131*u. Let b be 345/u - 3/(-5). Which is greater: b or -31?
b
Let f = 2285/287 + -98/41. Let h = f + -36/7. Which is greater: h or -0.1?
h
Let f be (-6)/4*(-24)/(-6). Let l = -558/5 + 112. Which is greater: l or f?
l
Let p = 225 - 144. Suppose 92*j = p*j + 1089. Which is smaller: j or 98?
98
Let w = -300.15 - -312. Let t = -5.1 + w. Let k = t - 6.7. Which is smaller: -0.1 or k?
-0.1
Let i = 2.06479 + 0.13521. Let p be ((-5)/10)/(14/(-4)). Is i greater than or equal to p?
True
Let c = 3643 - 21533/6. Let h = c - 54. Which is smaller: h or 2/19?
2/19
Let p = -25950 + 337905/13. Is p less than 42?
False
Suppose -5*p - 12 = -8*p. Let h be -8 - (1 + p/(-6)). Let z = 1.058 - 0.058. Which is greater: h or z?
z
Suppose -17995*c + 2720 = -18012*c. Is c at least -160?
True
Suppose 2*w + 10*r - 14*r + 4 = 0, 0 = -4*w + 4*r - 4. Which is smaller: -4/203 or w?
-4/203
Let d = 2130 - 2126. Let t be 4/(-1)*3/4. Let m be -2*2*t/18. Which is greater: d or m?
d
Let w be (-52)/1*((-2)/(-4) + 0). Let p = w - -14. Which is smaller: -7 or p?
p
Let m be 3*(-50)/130 - 4/(-26). Let j be (m + 8)*(-20)/(-5). Which is smaller: j or 167/6?
167/6
Let p = -50617/3 - -16872. Which is smaller: 3/398 or p?
p
Let g be ((-4)/6)/(1240/(-408) + 3). Let p(h) = -h**2 + 22*h + 35. Let o be p(g). Suppose -3*s + o = 17*s. Which is greater: -0.3 or s?
s
Let u be (485/(-15))/(((-22)/12)/11). Let j = u + -195. Which is smaller: j or -13/7?
-13/7
Let o(l) = l**3 + 15*l**2 + 29*l + 35. Let t be o(-13). Let q be (6/12)/(t/(-576)). Is 69 at most as big as q?
True
Let j(d) = 4*d**2 - 288*d + 217. Let r be j(41). Is -4868 at most r?
True
Let c = -67697/244 - 232/61. Which is greater: -280 or c?
-280
Let z = -24 - -52. Let s be (3260/3)/(-2) + (-160)/96. Let w = s - -575. Is z >= w?
False
Let j(o) = 428*o - 2340. Let b be j(6). Which is smaller: -6 or b?
-6
Let d = 10318 - 10321. Let u(t) = -t + 5. Let a be u(4). Let n be (a + 240/116 + d)*1. Is n != -1?
True
Let x = 12804 + -39676/3. Is x greater than -421?
False
Let w be (-669)/11 - 4/22. Let k be (1 - w/(-2))*2. Let c be (-2)/10 - (-2)/(-740)*k. Which is smaller: 1 or c?
c
Let k be (56/42)/(2/(-3)). Let t be ((-8)/16)/(k/4). Is t at least 1?
True
Let o = 93 - 62. Suppose -o*n + 33*n - 44 = 0. Which is smaller: 19 or n?
19
Let m = -3.5364 + -0.5106. Is 1 at least as big as m?
True
Suppose 2*p + x + 27 + 81 = 0, 3*x - 124 = 2*p. Let v be (-9)/(-6)*p/(-480). Which is greater: 1 or v?
1
Suppose -4*v + 122 - 38 = l, -2*v + 28 = 4*l. Let a = 43 - 10. Let z = -11 + a. Are z and v equal?
True
Let s = 9.867 - -0.033. Let d = 27 - s. Let p = d - 17. Does 1 = p?
False
Let x be 6/3*3/(-6). Let g be -2*9/x + -4. Let p(t) = -t - 1. Let r be p(1). Which is greater: r or g?
g
Let x = 3.4347 + -0.1347. Which is smaller: x or -0.3?
-0.3
Let y(c) = c**2 + 14*c + 23. Let r be y(-12). Let z be (3/15)/r*51. Which is smaller: z or -9?
z
Let h(v) be the third derivative of -v**5/60 + v**4/8 + 4*v**2 + 3. Let m be h(8). Which is greater: m or -41?
m
Let l be 10/(-5) - (-3)/((-9495)/(-6324)). Suppose 0 = -5*x + 2 + 3. Which is bigger: x or l?
x
Let z(c) = -2*c**2 - 233*c - 2034. Let g be z(-107). Which is smaller: g or 30.23?
g
Suppose h - 4*w = 24, -4*w - 58 = -4*h - 7*w. Suppose h = 3*b - 11. Let x be (-1)/b + (-97)/(-63). Is 0 less than or equal to x?
True
Let i = 1.84 + 150.16. Let g = i - 151.95. Which is smaller: g or 0.16?
g
Let n = 240 + -237. Let i be (-28)/(-42)*n/(-17). Is i bigger than -3/5?
True
Let r = -36120 + 218562119/6051. Is r < -1?
False
Let m = -11097 + 11095. Is m greater than -123/83?
False
Let f(x) = -98*x - 4896. Let t be f(-51). Which is greater: 103 or t?
103
Let d be (2/(-1))/((-7)/(-2835)). Let l be d/70 - (-4)/(-8)*-2. Which is bigger: -11 or l?
l
Let r = 1177 + -1152. Let c be (-13 - 60)*1/(-3). Which is bigger: r or c?
r
Suppose 4*k - 55 = -v - 58, -v = -1. Is k at most 2/1419?
True
Suppose 0 = -6*f + 14*f + f - 8550. Is f > -0.2?
True
Let j = -153 - -228. Suppose 0 = 3*k - j + 99. Is -49/6 greater than k?
False
Let j = 1080 + -517. Suppose -v - 2*h = -186, 2*v + 5*h = -v + j. Which is bigger: 2 or v?
v
Suppose -87*x - 56 = -94*x. Suppose 46 = x*w - 10. Let v be ((-140)/(-25))/2*2/w. Which is smaller: v or 0?
0
Suppose -3*g = g. Let y = -1.72 + 2.29. Let n = y - -44.43. Which is bigger: g or n?
n
Let k be (-4)/(15/25635*-4). Is k less than 1708?
False
Let q = 3.62 + -24.42. Let x = q + 31.8. Is -7 less than x?
True
Suppose -4*p + 3*w = -3 + 8, -3*p - 6 = -3*w. Let j = -13582 - -1235959/91. Which is smaller: j or p?
j
Let g be (238 + 34)/(-2 - -2 - -1). Suppose -17*m - g = 17*m. Is m less than or equal to -61/9?
True
Let b(l) = -l - 48. Let i be b(0). Let y = 1155 - 1151. Let n be (-4)/i*y/10. Is 1 >= n?
True
Let i be (-78)/13 + (80/32)/(2/(-1556)). Which is greater: -1952 or i?
i
Let t = 12 + -4. Let l be 11628/13566*((-1)/(-6) - 4/(-24)). Which is smaller: l or t?
l
Let h(d) = 5*d**2 - 2*d + 11. Let j be h(3). Suppose 11*m - 400 = 150. Is j at most as big as m?
True
Suppose 12*i = -0 + 36. Suppose 0 = 9*q - i*q + 36. Which is greater: q or -54/11?
-54/11
Let b be (-2 - -3)/((-46)/(-138)). Let g be 10/(-450)*5*b*-1. Let p = -3 - -2. Which is smaller: g or p?
p
Let t = 9614 + -9612.2. Which is smaller: t or -3.01?
-3.01
Let q be (-1)/12*-15*44. Let r = -8/3035 - -162684/3035. Which is smaller: q or r?
r
Suppose -19*w - 137 = -156. Let i be (6/(-12))/((-62)/28). Which is smaller: i or w?
i
Suppose 5*p - 118 = -2*u, -4*p + 2*p + 6*u = -88. Which is bigger: p or 73?
73
Suppose 5*m + 73 = -4*c - 307, -c = -5*m - 405. Let s = 94 + m. Which is smaller: 15 or s?
s
Let i = -3070685/186 + 16509. Is -1 <= i?
True
Suppose 0 = 24*u - 473 + 10721. Which is greater: -1277/3 or u?
-1277/3
Suppose 33*t + 97*t = -42*t + 4472. Suppose 4*f - 2*f - 48 = 0. Which is bigger: f or t?
t
Let s = 92607/2 + -62972767/1360. Which is greater: s or -1?
s
Let c = -53