-5*k + 13. Which is greater: 3/8 or i?
3/8
Suppose 640*o = 635*o + 25, -v = o - 582. Is v < 578?
True
Let v be (1 - 20/18)/1. Let k = 473.9661 + 0.0339. Let s = 473 - k. Is v at least s?
True
Let c = 5988 - 2513. Which is greater: c or 3480?
3480
Let n = -14273 + 20410. Is n at most as big as 6137?
True
Let a = -79.9 - -80. Let s(p) = -3*p**2 - p - 2. Let z be s(2). Let q be 10/(-10)*(0 + z). Which is smaller: a or q?
a
Let o = -0.617 - 405.383. Let i = 407 + o. Which is bigger: i or 2?
2
Let c = -3078266/721 - -230/2163. Let v = c - -4309. Let f = v - 839/21. Is 1 >= f?
True
Suppose 0*o - 945 = -7*o. Suppose -5*g = -2*z + o, 5*z - 69 = -g + 201. Suppose 0 = 7*d - 2*d + z. Is -10 smaller than d?
False
Let s(x) = 2*x**3 - 15*x**2 - 22*x + 9. Let c = 417 + -408. Let u be s(c). Is 56 >= u?
True
Let s = 603.9576 + -604. Let m = -0.8076 + s. Which is smaller: -0.1 or m?
m
Let m = 1184.3 - 1112. Let s = m - 72. Which is smaller: s or -0.25?
-0.25
Let i be (4 + 3 - 12) + 9. Let m be 6/(-2)*i*45/(-20). Which is smaller: m or 32?
m
Let q = -20651 + 20386. Which is greater: -274 or q?
q
Let c(d) = 5*d**2 - d + 1. Let w be c(1). Suppose 2*m - 4*v - 76 = 0, 3*m = -w*v + 25 + 34. Suppose 0 = -137*j + 136*j + m. Is j greater than 27?
True
Let j be 8694/81*2280/16. Is 15293 at most as big as j?
True
Suppose 4164 + 5962 = 122*h. Is 80 at most as big as h?
True
Let g = 3377 - 3364. Which is smaller: 53 or g?
g
Let a = -0.1 + 0.2. Suppose -r = -19 + 25. Let y be ((-189)/(-24) + -6)*4/r. Is a greater than y?
True
Suppose -3*r + r = 3*q + 29, -4*q + 5*r - 77 = 0. Let j = 9 - q. Suppose -3*g + 4*f + j = 58, g - f = -13. Is -18 less than or equal to g?
True
Let t(v) = 6*v - 44. Let x be t(4). Let g be x/52 + (1 - 0). Which is bigger: g or 1?
1
Let v = -15871 + 12349. Is -3 smaller than v?
False
Suppose 5*w = -2 + 7. Let y be (3/36)/(w/1). Let r = 55 - 54. Is r not equal to y?
True
Let i = 8 + -11. Let j be (-8 - -5)*4/i. Suppose -z = 3*z - 3*b - 17, 0 = -5*z + 3*b + 19. Is j at least z?
True
Let f = 39 + -31. Suppose -f*d + 7 = -d. Let l be ((-1)/112)/(3/6). Are d and l equal?
False
Suppose 2*r + 0 = -2*a + 80, -r = -2*a - 43. Suppose 0 = -6*i - 385 - r. Is -70 at most as big as i?
False
Let p be 63218/12702 - 10/2. Which is smaller: p or 0?
p
Let q = -314.39 + 313. Let y = q + 1.58. Which is smaller: y or -1/7?
-1/7
Let u be 1/(-4)*-1 + 5/(-20). Suppose 2*r + 312 = 2*x, 3*r = 2*x - u*x - 315. Which is smaller: 154 or x?
x
Let b be -191 - -196 - (-3627)/(-725). Let k be (-5)/5*(-1 - 0/(-1)). Which is smaller: b or k?
b
Suppose -2*u + 15 = 5*c, -349 = -4*u - 329. Which is bigger: c or -6/1675?
c
Suppose 0 = 16*u - 3770 - 32326. Do u and 2257 have the same value?
False
Let w = 11400 + -11401. Which is smaller: -1.893 or w?
-1.893
Suppose 0 = -w - 3*w - 8. Let g = 89609/29 - 3090. Which is smaller: w or g?
w
Suppose -3*j + 60 - 39 = 0. Suppose j*w + 14*w = 0. Which is greater: w or -1/60?
w
Let n be (-70)/(-4) - ((-7)/2 + 3). Suppose 0*p = -p - 2*o + 9, -n = -3*p - 3*o. Let f be p/((-90)/12) + (-113)/30. Which is bigger: -3 or f?
-3
Suppose -y - 3*o = 5, -19*o + 11 = y - 24*o. Which is smaller: 111/86 or y?
y
Suppose 0 = 2*c + r + 3, 25 = 3*c + 2*c - 4*r. Let l(f) = -5*f**2 + 6*f - 18. Let o be l(3). Let v = 770/17 + o. Which is bigger: v or c?
c
Let g be 0 - (1645 + 9)*4/(-8). Which is smaller: 9096/11 or g?
9096/11
Suppose -6636 - 2123 = 85*b + 21756. Which is smaller: -321 or b?
b
Suppose 163*c + 4*i + 27 = 162*c, 0 = 4*c - 4*i - 32. Which is smaller: -3939 or c?
-3939
Let y = -1312331/7268 - -4152/23. Which is bigger: -1 or y?
y
Let d = 243 - 241. Suppose -11*g - 20 = -6*g, -10 = -d*a + 4*g. Which is greater: a or 10?
10
Let p be (-4)/14 - 640/(-35). Suppose 49 = 4*v + 9*q, 1384*v - 2*q = 1386*v - 32. Is p bigger than v?
False
Let c be ((2 + -2)/(-2))/((-1266)/211). Is -1/17 equal to c?
False
Let i(b) = -1243 + b + 4*b + 5*b + 1219 + b**2. Let s be i(-12). Which is smaller: -4/165 or s?
-4/165
Suppose 0 = -5*j + 2*o - 24, 3*o - 2 + 23 = -2*j. Let w be 1/(-8)*34*j. Is w equal to 0.1?
False
Let d be (9*(-13)/42068)/(70/(-24) + 3). Which is greater: d or 1?
1
Suppose 8 = -4*l, 4*z = -3*l + 19 - 5. Suppose 0 = -5*v + v - 8, 0 = -4*b + z*v + 26. Is -1/3 at least b?
False
Let d be (-22)/(-66)*(309 + 2 + -2). Which is smaller: d or 815/8?
815/8
Suppose 0 = x + 4*x - 4*n + 870, 3*n + 870 = -5*x. Let c = -286 - x. Let g be (-4)/(-50) - (6 + c/20). Is g less than 1?
True
Let y = -67 + 70.88. Let n = y - -7.12. Which is smaller: 9 or n?
9
Suppose -35 = 54*p - 899. Which is smaller: p or 22?
p
Let o = 8735651063/99 - 88243755. Let w = o + 43070/9. Let d = w - -4927/66. Which is greater: 5 or d?
5
Let z be (675/105 - (-3)/(-7))/(64/(-21640)). Which is bigger: z or -2030?
z
Let a be (-624)/4836*(-7)/(-10). Which is bigger: -1 or a?
a
Let o = -163 - -167.4. Let l = o - 4.6. Is -1/68 smaller than l?
False
Suppose j - 34 = 2*t + t, 5*j + 4*t - 75 = 0. Let z(h) = h**3 - 19*h**2 + 2*h - 25. Let d be z(j). Suppose -2*u - 4 = -28. Is d < u?
False
Suppose -3*r - b = -55327 + 11427, 3*r = 4*b + 43895. Which is smaller: 14632 or r?
14632
Let w(o) = 5*o**2 - o + 25. Let g be w(5). Let i = g - 135. Suppose 0 = 22*b - i*b + 180. Is b less than or equal to -15?
True
Let z be (3553/(-66))/(1 + 27). Let k = z + 15/8. Suppose 2*g + 0*g = 0. Which is greater: g or k?
g
Let f(b) = 89*b - 40. Let o be f(3). Let p = o + -228. Is -1/384 equal to p?
False
Let q be (-18)/(-81) + (-5)/(90/(-24296)). Suppose -195 - q = 15*a. Does -104 = a?
False
Let j be ((-13)/(-12415))/(4/(-30)). Suppose 0 = 2*i - 10*o + 30, -22*i + 23*i + o = 3. Which is smaller: j or i?
j
Let i be (116/(-957))/(60/5094 - 0). Which is smaller: i or -10?
i
Let p = 320 + -312. Let r be (6/4 - 2)*20. Let j = r + 16. Is p bigger than j?
True
Let j be (0/2 + 1)/(15/(-2160)). Let a be 284/(-18) - -8*4/j. Let g = -0.167 + -0.833. Is g smaller than a?
False
Let z be 49/7 - (-54 - -62). Which is smaller: -41/45 or z?
z
Let p(b) = -b**3 - 4*b**2 + 2*b - 2. Let k be p(-4). Let m(h) = -h**3 + 155*h**2 + 5987*h - 570. Let g be m(187). Which is smaller: k or g?
k
Let l be (-20)/186*64368/(-360). Which is greater: 18 or l?
l
Let b = -6690 - -8030. Which is smaller: 1339 or b?
1339
Let m = -69780591/19 + 3671323. Let j = 1340 + m. Which is bigger: j or 0?
j
Let n = -0.1696 - -230.1696. Which is smaller: n or -2?
-2
Let x(o) = -o**3 + 4*o**2 + 13*o + 12. Let s be x(-2). Which is greater: s or 13/3?
s
Suppose -p + 0 = -1, -5*m = -p + 121. Let f(c) = c**3 + 24*c**2 - 2*c - 45. Let a be f(m). Which is greater: a or 77?
77
Let q be -3 + (15 - (-3 + 16)). Do q and -3.535 have the same value?
False
Suppose -4*i = -2*w + 10, -4*w + 20 = 40*i - 37*i. Suppose w*f - 8*f = 4*o - 710, 2*f + 2*o - 476 = 0. Is 242 >= f?
True
Suppose 5*i = -2*d + 5, -2*d - 3*i + 4 = -3. Suppose -d*w + 13 = 33. Let z be -16 + (2 - 5) + (-1 - w). Which is smaller: -18 or z?
-18
Let l be (-36)/16 - (-2)/8. Let r(u) = 6*u**3 - 3*u**2 - 2*u - 1. Let m be r(l). Suppose 272*j = 225*j - 2726. Is m less than j?
False
Let l = -13.2 + 13. Let c = -1.2 - l. Which is smaller: c or 38?
c
Suppose 5*m - 1085 = 19*r - 20*r, 5*m = -3*r + 1095. Which is smaller: 218 or m?
m
Let w be (51/12 - 5)*4686/9. Is -390 less than or equal to w?
False
Let h = 105915467477/64791 - 1634725. Which is greater: h or -1?
h
Let h = 9281 + -9279. Is h at least 155?
False
Let g(j) = -j**3 + 4*j**2 - 5*j + 5. Suppose 0*l - 8 = -4*l. Let m be g(l). Let s = 9 - m. Does 23/5 = s?
False
Let c be (1530/731)/(-10)*(-28)/(-114). Are 0 and c equal?
False
Let h = -366 - -176. Let j = -191 - h. Let v be ((-4)/6)/(60/(-27)). Which is bigger: v or j?
v
Let v(k) be the second derivative of -k**5/20 + k**4/3 + k**3 - 6*k**2 - 5*k - 6. Suppose 15 = 4*w - w. Let t be v(w). Which is greater: t or -3?
-3
Suppose -9*i = -13*i. Suppose s + 99 = 3*b, i = 4*b - 8*b + 4*s + 124. Is 35 equal to b?
False
Let o = -2.1302 + 1.9529. Is o smaller than -0.01?
True
Suppose 7*v - 2*v - 700 = -5*b, -v - 146 = -b. Let z = -234 + b. Is -91 at most z?
True
Let u(p) = -6 - 24*p**2 - 7*p + 28*p**2 - p**3 + 19*p. Let k be u(6). Which is smaller: -12 or k?
-12
Let n = -0.02746 - -0.35746. Is n less than 0.2?
False
Let l(u) = 3*u**2 - 48*u + 20. Let x be l