alse
Let r be 780/(-1040) - (-1)/2. Which is greater: r or 12508?
12508
Suppose 0 = -5*h + 5*r + 230, -75*r = 3*h - 77*r - 136. Do h and 45 have the same value?
False
Suppose -12 = 2*s + 2*l, -31 = -4*s + 4*l - 7. Let k = -795060221/1301097 - -752/26553. Let n = k - -611. Which is smaller: s or n?
n
Suppose 0 = -200*j + 203*j - 441. Let t be (-21)/j*(-63 - -1). Is t at most as big as 9?
True
Let w(v) = 114*v - 2065. Let c be w(17). Which is smaller: -131 or c?
-131
Let o = 34510 + -37890. Is -3376 greater than o?
True
Let g be -12 - (1400/(-180) - 8/36). Which is smaller: g or -737?
-737
Let j = 749/467 - -1110287/13543. Which is smaller: 83 or j?
83
Let o = 3582.5 + 6572.5. Which is bigger: o or -0.1?
o
Let v = 3/3749 - 11268/26243. Which is bigger: -0.129 or v?
-0.129
Let t be ((-42)/(-72))/((-2)/(-16)). Let p(d) = -4*d + 1. Let n be p(-1). Suppose -n*l = -2*s + 20, -4*s = -0*l + 4*l - 12. Which is smaller: s or t?
t
Let d = -1587.6 + 1018.6. Which is bigger: d or -3/7?
-3/7
Let c be ((-43)/10)/((-857871)/(-69865)). Let j = -35/102 - c. Is j not equal to 0?
True
Let u = 1583.1 - 1583. Which is smaller: u or 1817?
u
Suppose 24 = -16*v + 28*v. Suppose -v*z - 96 = -3*m + z, 3*m + z - 84 = 0. Is m smaller than 15?
False
Suppose 5*h + 382 = 82*f - 78*f, 3*h + 238 = -2*f. Which is bigger: -60 or h?
-60
Suppose 2*p - 2 = 5*m, -5*m + 18 = 2*p - 2*m. Suppose 4*d - p*d = -2, 2*d = -3*s - 4. Which is smaller: -7/5 or s?
s
Let b be (118 + -120)/((-2)/44)*19. Which is greater: b or 842?
842
Suppose 839*g + 504 = 911*g. Which is smaller: g or 36?
g
Let z be 5 - (-6 + -5 + 2). Suppose 5*k + z = 44. Let x(y) = -y**2 + 5*y + 9. Let d be x(6). Which is greater: k or d?
k
Let a(y) be the first derivative of -y**2/2 + 4*y + 30. Let z be a(4). Let w be z + 0 - 9/108. Is 1 greater than w?
True
Let t = -2547.06203 + 0.06203. Do -1 and t have the same value?
False
Let p = -19.61 + 19.71. Let m be 756/(-105)*27/(-2). Which is smaller: p or m?
p
Suppose 106 = -11*u + 29. Let c be u + (11/1 - 4). Which is smaller: c or 17/13?
c
Let i = -346316/33 + 10494. Let l = -16 - -16. Is i greater than or equal to l?
False
Let z be (-1)/((-15)/(-9))*-5. Suppose -z*j = s + 6, 0 = 4*s + 2*j - 6 - 0. Is 3 != s?
False
Let c = 1216 + -1217. Which is smaller: c or -80/109?
c
Suppose 25 = 3*y + 5 + 20. Is -17 smaller than y?
True
Let m = -101969/11 - -9270. Is -150/29 smaller than m?
True
Let y(t) = -t**3 + 50*t**2 + 104*t + 73. Let l be y(52). Which is bigger: l or 16?
l
Suppose 0 = -15*v + 6*v + 1701. Let k = v - 173. Is k equal to -5?
False
Let w be (-6)/(-16) + (-86)/16. Let o be w + (4 - 8 - (3 - 2)). Suppose 3*r = -4*i + 2*i - 25, 4*i + 25 = -r. Is r less than o?
False
Let a = 21771 + -21770.4. Suppose y + 2*y = 18. Which is greater: a or y?
y
Let z = 46656865/4388998 - -2/95413. Which is smaller: z or 10?
10
Let x = -29.5 - -53.2. Let h = -23.9 + x. Which is smaller: h or 197?
h
Let k be 52412976/29848 + (-2 - -1 - 0). Let n = -1755 + k. Which is bigger: n or 0?
0
Let s = -0.52186 - 4.47814. Let o = 0.7 + -0.1. Which is smaller: o or s?
s
Let a = 15266 + -15611.28. Let b = a - -0.28. Which is bigger: b or 2/5?
2/5
Let p = 65232 - 65231. Suppose 0 = -3*v + 3*j - 18, 3 = v + j + 1. Is p bigger than v?
True
Let m = 1493 + -1489. Let a(c) be the second derivative of -c**5/20 + c**4/3 + 5*c**3/6 - c. Let z be a(m). Which is greater: 19 or z?
z
Let b = 255.67 - 258. Which is greater: 4/11 or b?
4/11
Suppose -400*k + 1257 = 4*j - 397*k, -k - 1557 = -5*j. Which is smaller: j or 315?
j
Let c be 954/1272*(-152)/(-21). Let b = 1 + -1. Which is bigger: c or b?
c
Suppose -2*n = -4*n. Let u = -500 - -85999/172. Which is greater: u or n?
n
Let l be -4 - ((-24)/(-435))/(36/(-3682770)). Let s = -5640 + l. Which is bigger: 0 or s?
s
Let s(i) be the third derivative of 1/12*i**4 + 0 + 0*i - 24*i**2 + 4*i**3. Let v be s(-12). Is v at most 14/15?
True
Let f(r) = 3*r**3 - 36*r**2 + 24*r - 44. Let m be f(9). Is -557 > m?
False
Let x = -122 + 120. Let n be (4/(-26))/((-1)/x). Are 0.2 and n nonequal?
True
Let c = -3413 + 3858. Is 453 smaller than c?
False
Let s be 105/21 - (36/(-10) - (-16)/(-40)). Which is smaller: s or -55?
-55
Let z = 8.3269 + -0.3269. Which is smaller: z or -14.7?
-14.7
Let f = 0.041 + 56.959. Let h = f - 56.22. Let z = 0.22 + h. Do z and -2/35 have different values?
True
Let v be (-5 - 22893470/6840) + (0 - 0). Let j = v - -3352. Do j and -1 have different values?
True
Let k(r) = -r - 3. Suppose 5*m + 34 = -1. Let d be k(m). Suppose 0 = -4*g - 44, 238*j + 6*g + 67 = 237*j. Which is smaller: d or j?
j
Let q = 305.4 - 335. Let z = 29.63 + q. Is -0.18 at most as big as z?
True
Suppose -u - 7*r + 2*r + 19 = 0, -5*u = -4*r - 8. Suppose 22*m + 36*m + 3770 = 0. Which is smaller: m or u?
m
Let y = -129 + 134. Let o be 4/((-1008)/596) - y/(-35). Is -1 > o?
True
Suppose 4303 = -322*r + 374 - 1223. Let u(p) = -p - 12. Let c(g) = g**2 - 3*g. Let h be c(3). Let s be u(h). Which is bigger: r or s?
s
Let v be (-375)/30 - (33/(-6) + 7). Which is smaller: -285 or v?
-285
Suppose 13*g - 8*g - 70 = 0. Let t be g/6*42/(-26) + 1. Let l = t + 389/117. Are l and 1 unequal?
True
Let o = 2340585/11 - 212535. Which is greater: 244 or o?
o
Let j be (184/69)/((-29)/232 + 1603/12696). Which is smaller: j or 2120?
j
Let s be (-3 - -5 - 3) + 90612/(-14). Let a = 6505 + s. Which is smaller: a or 32?
a
Suppose 4*d + 494 = -2*v, 3*d - 3 = -0*d. Let q be -4 + (-10264)/40 + 13. Let z = v - q. Are 1 and z equal?
False
Suppose -244*p + 51423 = 5*y - 247*p, -30865 = -3*y - p. Is 10286 != y?
True
Let k be 167/(-4)*(-20)/(-15). Let n = 36422 + -36479. Is k > n?
True
Suppose 112*c = 120*c + 8. Let r(l) = l**2 + 3*l + 2 - 5 - l**3 + 5. Let z be r(c). Is 1 > z?
False
Let j(z) = -6*z + 59. Let q be j(-6). Let k be 14/(-10) - (-228)/q. Are k and -1/39 equal?
False
Let t = 60 + -56. Let p = -24 + 25. Suppose -2*r - p = -13. Which is bigger: r or t?
r
Let b = -286 - -281. Let g be 4/b + 592/1240. Are -1 and g nonequal?
True
Let f be (-3)/(45/(-543)) - ((-18408)/260 - -73). Let m be (-20)/3*(-52)/10. Which is smaller: m or f?
f
Suppose 3662 + 18139 = 43*f. Is f > 497?
True
Let b(c) = -7*c**2 + 360*c - 1074. Let w be b(3). Which is smaller: -1320/23 or w?
-1320/23
Let z = 17 - 20. Let f be -1*z*32/(-228). Suppose -6*u + u - 1 = 3*n, -10 = 5*n. Is f smaller than u?
True
Let c(o) = -52*o + 322. Let x be c(6). Let q be 137/15 - (-13)/65. Which is smaller: q or x?
q
Suppose -12*d - 20 = -668. Suppose -2*v - d = 5*y - 3*y, 5*v - y + 111 = 0. Is v <= -2?
True
Let q(t) = 29*t**2 - 2*t + 48. Let c be q(-9). Let x = -454021/188 + c. Which is greater: 1 or x?
1
Let n be ((-1)/(-1))/((-9)/26). Let d(x) = x**3 + x**2 - 6. Let o be d(0). Let h be (-5 - -4 - -4) + o. Is h >= n?
False
Let s be (-210)/1011465*2/(-4). Is s not equal to 1?
True
Let i = 12.17 + -12.4. Let w = i - -0.32. Which is smaller: 0.25 or w?
w
Let d = -25097 - -22069. Is -3022 > d?
True
Let l(y) = 2*y**3 + 4*y - 3. Let m be l(2). Let z be (-6 - (-119)/m)/(1/9). Let d be ((-18)/(-4))/(1 - z - -29). Which is greater: d or -1?
d
Let k(a) = -a**3 + 28*a**2 - 59*a + 34. Let h be k(18). Suppose -4*u - h = 3*f - 5*u, 719 = -f + 4*u. Is -739 > f?
False
Suppose -w - 2*w + 15 = 0, 2*h + 3*w = -103. Let f = h + 109. Let u = 21 + 28. Which is greater: f or u?
f
Suppose -12*w + 412 = 2908. Which is greater: -211 or w?
w
Let x = -4874 + 73111/15. Let d(q) = q**3 - 3*q**2 + 2*q. Let u be d(2). Which is smaller: u or x?
u
Let i = -379 - -217. Let y = -72 - i. Let b = -89.8 + y. Which is bigger: 0 or b?
b
Let m = -4 - -7. Let g be (-3)/(-5) + (-1144)/(-260). Suppose -3*p = -m*z - 6, 4 = -g*z + 2*p - 0. Is z equal to -1/32?
False
Let m be (4/(-6) - 17/((-765)/165))*63. Is 183 at least m?
False
Let r = -20672 + 21263. Which is smaller: -21 or r?
-21
Let r = -46 - -98. Let j = r - 46. Let d = 25 - j. Is 19 greater than or equal to d?
True
Let t = -5406 - -5453. Which is bigger: 0.68 or t?
t
Let l be 3 + (18/(-6) - 0). Suppose l = u + 261 - 263. Let z(k) = k**2 + 6*k + 2. Let v be z(-6). Is u != v?
False
Let y = 15.38 + -0.38. Let t = 21 - y. Let w = 0.2225 + -0.3225. Is t smaller than w?
False
Let d = 0.9968 - 235.9968. Is -4 >= d?
True
Suppose -i = 3*m - 3, 0 = i + 2*i - m + 31. Let g be (