st as big as p?
True
Let s = 543 + -542. Which is greater: 11/337 or s?
s
Let r(b) = b - 3. Let y be r(-9). Let p = 8 + y. Let q(f) = -f**2 + 22*f - 89. Let i be q(5). Is p less than or equal to i?
True
Suppose 0 = 3*a + 5*r - 9, 3*a + 7 = 7*a + 5*r. Let b be 13 - (14 - 6/18). Which is smaller: a or b?
a
Let r(c) = 3*c - 55. Let b be r(2). Let m(v) = v**2 - 15*v - 6. Suppose 3*i = 5*i - 22. Let w be m(i). Is w at least b?
False
Suppose -b - 2*t + 3*t + 43 = 0, 94 = 2*b + 2*t. Suppose 7*i - 4 - b = 0. Let q = 6 - 9. Which is greater: i or q?
i
Suppose 315 = 73*q + 3600. Which is bigger: 3.9 or q?
3.9
Let j = -0.06 - -1.06. Let t = -1 + j. Let i = 0.0224 - -2.0776. Is t < i?
True
Let d = 18082.2 - 18082. Which is bigger: -4/155 or d?
d
Let c be 2/((-8)/2)*-12*11/2178. Which is bigger: c or 35?
35
Let c(f) = -3*f**2 + 2*f + 1. Let h be c(3). Let a be h - -4*(4/8)/(-1). Let x be (1/((-1)/72))/(21 + a). Is 0.1 less than or equal to x?
True
Let m(g) = 4*g + 26. Let a be m(7). Suppose -5*x - a = -2*x. Are x and -10 nonequal?
True
Let c = -1812 - -1800. Let s = -3/85 - 7799/595. Which is smaller: c or s?
s
Let b = 20 - 21. Let i = -20.4 + 17.8. Which is smaller: b or i?
i
Let x = 13.2 - 47.2. Let d = x + 32. Is 60 <= d?
False
Let d = -16 - -10. Let q(b) be the third derivative of -b**5/60 - b**4/6 + 5*b**3/6 + 314*b**2. Let g be q(d). Which is smaller: g or -9?
-9
Let k(j) = 39*j**2 + 29*j + 104. Let h be k(-3). Are 366 and h unequal?
True
Let w = 18453 + -73258411/3970. Which is bigger: 1 or w?
1
Let y(z) = -z**3 + 34*z**2 - 63*z - 153. Let o be y(32). Which is smaller: o or -124?
-124
Suppose -1618*p = -1585*p + 264. Let h(m) = 1 - m + 4*m + 2*m**3 + 13*m + 10*m**2 - m**3. Let y be h(p). Are -2/13 and y unequal?
True
Let p = -148/23 + 53849/8372. Let y = p + 599/19292. Is y smaller than -1?
False
Suppose 5*c + 2*r + 235 = 0, 2*r - 85 + 5 = 2*c. Let l = -50 - c. Is l greater than or equal to -5?
True
Suppose -f + 3*x = -1, -5*f + 7 - 2 = -4*x. Suppose 3*c = -b + 4, -2 = -3*c + 2*b - 1. Let o be f/(-2*c*1/2). Which is bigger: o or -2?
o
Suppose 0 = -623*n + 674*n - 431450 + 67412. Which is greater: n or 7139?
7139
Let i = 4298 - 25777/6. Which is greater: i or 26?
26
Let y be ((-13660)/28686)/((-1)/((-28)/(-6))). Which is smaller: y or -2.42?
-2.42
Let t = -3077.1 - -2842. Let x = 235 + t. Is x at most as big as 107?
True
Let v be 2320/(-12) + 10/(-15). Let y = v - -183. Let w = -22 + 10. Is w not equal to y?
True
Suppose -22 - 58 = 5*i. Let j = i + 16. Suppose 3*k - 2*z + 33 = j, -2*z = -4*k - 20 - 22. Is k less than -10?
False
Let w = -27295 + 29942613/1097. Which is bigger: w or 0?
0
Let h(r) = 3*r + 3. Let z be h(-3). Suppose -106*l + 602 + 352 = 0. Is z at most as big as l?
True
Suppose 4*n - 613 = 3*o, -4*n - o + 620 = 3*o. Is n >= 167?
False
Let b(i) = 198*i**3 - i**2 + 2*i - 2. Let l be b(1). Suppose -53 = 9*d - l. Let c be 280/d*2/(-10). Do c and -4 have different values?
True
Suppose 3*i = 5*m + 324, 0*i + 3*i - 198 = 3*m. Suppose -30 = s - 5*d, 5*d - 44 = -s - 124. Let p = s - m. Which is bigger: p or -1?
p
Let z(t) = 57*t - 2057. Let r be z(36). Which is greater: -79/21 or r?
-79/21
Let h be 6 + -6 - (-1062)/3. Let y = 386 - h. Is 219/7 >= y?
False
Let f = 9617 + -9620. Which is smaller: 376.5 or f?
f
Let i = 14/27 + -86/27. Let z be ((-1 - 1) + (-24)/(-9))*(-6)/12. Let f = z - i. Which is smaller: f or 1?
1
Let o be -79*(6 + 6076/(-1015)). Let r = 20/29 + o. Is 2/217 >= r?
True
Let x(r) = -3*r - 34. Let y be x(-13). Suppose -t + 5*p - 29 = y, 0 = -p - 3. Which is bigger: t or -43?
-43
Suppose 0 = -25*b - 861 + 6536. Suppose 0 = -6*f - b - 103. Which is greater: f or -1?
-1
Let j be (6/9)/((-589)/279). Let s be 135/(-840) + 4/14. Which is bigger: j or s?
s
Let d = -17881/9 + 1987. Which is smaller: d or 2914?
d
Let s(v) = -145*v + 1269. Let p be s(9). Let j = -14 - -10. Let d be -2 + j/p*21. Which is smaller: 0 or d?
0
Let b = -7365/723814 - 1/7462. Let t be (-8 + 10)/(-2 + 4). Is b >= t?
False
Let q = 6569 - 7013. Which is smaller: -2221/5 or q?
-2221/5
Let d be ((-39)/(-3))/((-7)/(-6)). Suppose -495 - 142 = -54*q + 11. Is q at least as big as d?
True
Let n(g) = -46*g + 1102. Let k be n(24). Which is bigger: k or -11/16?
-11/16
Let c = -31076 + 28956. Is -2123 greater than c?
False
Suppose -6 + 12 = 3*i. Suppose 2*l = 3*h - 30, -4 = -3*h + i. Let z be 2/(-4)*l/129. Is z less than 0?
False
Let t(g) = -g**2 + 6*g + 4. Let s(v) = -6*v**2 + 29*v + 20. Let n(l) = 2*s(l) - 11*t(l). Let k be n(-7). Suppose -63 = -k*h + 39. Is 33 greater than h?
False
Suppose 0 = 1597*m - 1526*m - 16614. Which is greater: m or 235?
235
Suppose -4*b + t + 3*t = 7240, 4*b + 7255 = -t. Is -1815 bigger than b?
False
Let g = 2/6727 + 4125/8751827. Let h = 105 - 105. Are h and g non-equal?
True
Suppose 17665 = -11*l - 771. Does l = -1676?
True
Let i be (24/(-16))/(1/((-948)/9)). Let c = 476/3 - i. Which is smaller: c or 1/19?
1/19
Let h = 1473 + -1471. Let c = -0.66 + -0.57. Let a = -0.13 - c. Which is smaller: h or a?
a
Let j(h) = -4*h - 10. Suppose 4 = 3*d - 5*d. Let f be j(d). Let x be (2 - 1)/(0 - (-5)/f). Is x smaller than -0.6?
False
Suppose 730 = -52*k - 278 - 1176. Is -944/23 <= k?
False
Let x(b) = b**2 - 11*b + 10. Let j be x(10). Let k be 4/((-4)/(-22)*(j - 1)). Let u = k - -24. Which is smaller: u or 5/2?
u
Let q = 19.017 - 18.017. Which is smaller: -21475 or q?
-21475
Suppose -4*o = 10*f - 12*f - 2516, 5*o - 3145 = 5*f. Let d = o - 632. Is -19/6 less than or equal to d?
True
Suppose -50 = 8*v - 202. Suppose -v*m = -6*m - 104. Let d = -12 - -21. Is d < m?
False
Let n(l) = 2*l**3 + 24*l**2 - 59*l - 47. Let o be n(-14). Let v = 9.1 + -15.1. Is v >= o?
False
Let l(j) = j - 2. Let r be l(2). Suppose r = -4*w - 20, -n = 4*n - w - 30. Suppose 3*o + 6 = n*o. Which is bigger: 1 or o?
o
Let p = -364957/27 + 13517. Which is greater: p or 0.94?
0.94
Let k = 91753/5 + -18434. Which is smaller: k or -82?
k
Let r = 19721/4 + -4662. Let i = 276 - r. Which is greater: 7 or i?
i
Let d = 0.23 - 3.12. Let r = 0.29 + d. Let n = -86984 + 86984. Which is smaller: n or r?
r
Let s = 4818 - 4818. Is -4/285 smaller than s?
True
Let x(l) = -3*l**2 + 5*l + 5. Let s be x(6). Let t be 24/(-120) - (-158)/(-10). Let y be t/(-72) + s/450. Which is greater: y or 1?
1
Suppose -68 = -4*y - 4*l, 213*y - 5*l = 210*y + 59. Is y > 18?
False
Let s be (-2935809)/(-267285) + -11 + 0. Which is smaller: -1 or s?
-1
Suppose -43*i = -25*i. Which is smaller: 6/785 or i?
i
Let q be ((-22)/(-36))/(32/48). Let d be ((-1)/3)/((-1)/3). Is q at least as big as d?
False
Let x = -0.93 + 54.93. Let f = 13.67 + -0.67. Let m = f + -13.1. Is x < m?
False
Let f(b) = -103*b + 104*b - 31 + 17 - 33. Let v be f(14). Is v >= -33?
True
Suppose -30 = -206*s + 200*s. Let t(m) = -37*m - 1. Let b be t(s). Which is smaller: b or -188?
-188
Suppose 84 = -599*g + 683*g. Let m = -273394/2821 + 1260/13. Is g less than or equal to m?
False
Let m(a) = 6*a**2 + 8*a - 33. Let t be m(4). Let n = -66 + t. Suppose n*i - 312 = 37*i. Is -39 equal to i?
True
Suppose -5*x + 0*x = -4*n - 30, -2*x - 1 = n. Suppose q + 4 - 20 = 2*l, -5*q - l + 36 = 0. Suppose x*y + 90 = -q*y. Which is smaller: -7 or y?
y
Let a = 12455.8 + -12456. Is a at most 1266?
True
Let i = -2645 - -2586. Which is bigger: 17 or i?
17
Suppose -69*x + 17131 - 67194 - 25699 = 0. Does x = -1098?
True
Let z = 0.19867 - -0.00133. Let n = -4.967 + 0.067. Which is smaller: n or z?
n
Let p be 6/(-2) - ((-12)/3 + -16). Suppose 4*a - 14 = 2*t, -5*t + 2 - p = -5*a. Let x be 30*3/24*a. Which is smaller: x or 16?
x
Let w be 2/63 + (-62234)/3654. Is 5 less than w?
False
Let f(d) = 2*d**3 + 54*d**2 - 57*d - 27. Let y be f(-28). Let k = 803 + -32921/41. Is y less than k?
False
Suppose 3*t + 2*t = -5. Suppose -5*b + 2*k = 82 + 238, -4*k = 2*b + 104. Let c be b/1395*10/(-16). Which is greater: t or c?
c
Let y = 1.66 - 1.5. Let w = y - -1.54. Let b = -3.7 + w. Is 3 > b?
True
Let m be (-20930)/(-29146) + 184/(-5428). Let l be (-2 - 1)/(3/(-2)). Which is bigger: m or l?
l
Let a be (-3350)/9 + (112/32 - 118/36). Which is smaller: a or -373?
-373
Let n be (1 + (-15)/10)*4. Is -80 greater than n?
False
Let z be 4/(-4) + (7 - (8 + -7)). Suppose z*d - 2*h - 20 + 9 = 0, 4*d + 5*h = 22. Let s be 4/1