smaller: 19/2 or p?
p
Let a be 60/(2875/10 - 15). Is a greater than 1?
False
Let o = -0.313 - -0.353. Are 124 and o non-equal?
True
Let h = -3.1 + 3. Let n = -4134 - -525021/127. Is n smaller than h?
False
Suppose 0 = 33*v - 89*v + 31*v + 631800. Is 25272 greater than or equal to v?
True
Suppose -485 = 127*w - 132*w. Which is smaller: w or -7/5?
-7/5
Let o = -42 - -45.6. Let s = o + -3.36. Let k = -0.04 + s. Is k smaller than -8?
False
Suppose -5*k = n - k + 16, -n - 5*k - 20 = 0. Let d(q) be the first derivative of q**4 - 26*q**3/3 + 7*q**2 - 14*q - 44. Let l be d(6). Which is bigger: l or n?
n
Let g(x) = 253*x - 984. Let d be g(9). Is 1292 at least d?
False
Let u = 524 + 3489. Is u != 4012?
True
Let s = 49.94 - 23.94. Is s less than or equal to -41?
False
Let n = -10 - -11. Let o be (-3 + n + 3)/((-1)/(-8)). Let x be (-4)/o*(-5)/4. Which is smaller: 0 or x?
0
Let b = 15626 + -15601. Is -2/35 < b?
True
Suppose 1108 = 100*v + 347 - 2739. Which is smaller: 39 or v?
v
Let u = 2.92 + -3.12. Let d = 53.91 - -0.09. Is d <= u?
False
Let g = -4.19 - -0.19. Let m = 3/517 - -1025/1551. Which is smaller: g or m?
g
Let g be ((-4)/(-6))/(((-10)/(-3))/(-5)). Let n be 76/36 + -4 - g/1. Which is smaller: n or 0.4?
n
Let p(v) = 392*v**3 - v**2 + 8*v + 8. Let l be p(-1). Let o = 1963/5 + l. Which is greater: o or 1?
1
Let a = -10124 - -9983. Which is smaller: -1.3 or a?
a
Suppose -6*n + 4129 + 1264 = -4099. Is n not equal to 1583?
True
Suppose -850 - 26 - 1736 = l. Is l != -2610?
True
Let o = -4100 - -4086. Is -11 equal to o?
False
Suppose -5*x - 266 = -24*x. Let y be (-7 + x - -78)*(-8)/(-5). Is 135 < y?
True
Let c = 10 + 74. Let n = 349 + -279. Let h = n - c. Which is greater: h or 0.1?
0.1
Suppose -33 = -3*n + r, r = 3*n - 8*n + 55. Suppose 4*v - n + 51 = 0. Let z be (-12)/v*125/10. Is z less than 17?
True
Let u = -24 - -22. Suppose 3*l = -2*l - 60. Let d be (22/4)/(u/l). Is d at most as big as 32?
False
Let j = -55562/3289755 + 22/1455. Which is greater: j or 1?
1
Let p be (-76)/(-6) + (1 - (-4)/12). Let x be 62/(-7) + 56/p. Is -5 less than or equal to x?
True
Let f = 1403 - 1408.79. Let j = f - -4.79. Which is smaller: j or -126?
-126
Let v = 261.09 - 262. Let u = -5.09 + v. Does -0.4 = u?
False
Let j be -2364*(-23)/276*(0 - (-2 - -4)). Which is smaller: j or -1964/5?
j
Let c(k) = -k**2 + 8*k - 9. Let w be c(3). Let z be (36/8*-1)/(w/104). Let f = -50 - z. Is 30 at most as big as f?
False
Let z(q) = -37 + 33 + 25 - 3*q. Let l be z(6). Suppose -2*n + 1 = 2*n - 5*m, -l*n + 2*m - 1 = 0. Which is greater: n or -1/146?
-1/146
Let z = 249.6 + -252. Let a be (-16 - -2)*(-1)/(-2). Let d be (a - -7)/(2 + 0). Do d and z have the same value?
False
Let g(j) = -24*j + 199. Let t be g(8). Let s(i) = 6*i**2 - 2*i. Let m be s(1). Suppose -11*z + m*z = -t. Which is smaller: z or 16/11?
z
Let j = -353 - -349. Let i be (j/6)/((-12)/(-18)). Is 1/548 at most i?
False
Suppose -67308 = -32*g + 33140. Which is bigger: g or 3138?
g
Suppose 54*o = -r + 57*o + 982, 2922 = 3*r - 3*o. Is 971 != r?
True
Let t(x) = -x**3 + 10*x**2 + 7*x - 13. Let h be t(10). Let u = 117 - h. Suppose -4*y + 2*w = -252, y - 27 = -2*w + 16. Which is greater: u or y?
u
Suppose 50*d - 55*d + 8640 = 0. Which is greater: 1727 or d?
d
Let g = 661 + -661. Suppose f = 4, -5*y = -0*y - 4*f + 1. Suppose y*q + 85 + 20 = g. Is -35 > q?
False
Let v(o) = -2*o**2 + 36*o + 32. Let d be v(19). Let r(q) = -4*q + 47. Let g be r(13). Which is smaller: g or d?
d
Let d be 3 - (-1 - 2) - (-1 + 4). Let l be ((-590)/(-15))/(d/(-9)). Let t = -43 - l. Which is smaller: 76 or t?
t
Let f = -3461/6 - -582. Suppose -38*i = 62*i - 600. Are i and f unequal?
True
Let h be (-1)/((-1)/(6 - 4)). Let f = 98.27 - 83.27. Is f equal to h?
False
Let k be -3 - ((-9345)/(-123) - -3). Let i = 82 + k. Suppose 25 - 28 = -3*z. Is z smaller than i?
False
Suppose l = 4*l + s + 1282, -3*s - 850 = 2*l. Let v be l/(-12) + 20/(-30). Do v and 35 have the same value?
True
Let g be -2*(288 + 3)*(-15)/((-285)/76). Which is greater: -6980/3 or g?
-6980/3
Suppose 0*g - g + 6 = 0. Suppose 2*t + 3*m - 14 = 0, -24 = -2*t - 38*m + 40*m. Suppose 2*j = 3*s + 13, 15*s - 20*s - 3*j + t = 0. Which is bigger: s or g?
g
Let a = -7453309/991 + 7521. Let g = -1167/87208 + a. Is -1 <= g?
True
Let d = 16369.92 + -16370. Is d greater than or equal to 20?
False
Let k = 6.012 - 6. Let m = 486.11 - 10.11. Let d = m + -476. Is k bigger than d?
True
Let r be 20124/(-104) + (-2)/4. Let u = r - -224. Which is bigger: u or 28?
u
Let y(k) = -3*k**2 - 23*k - 41. Let q be y(-3). Which is smaller: 2/9297 or q?
2/9297
Suppose -k - 3 + 10 = 0. Suppose 9*t = k*t - 14. Let a(l) = 5*l + 3. Let n be a(-2). Is t greater than or equal to n?
True
Let h be 1 + (0/(-5))/5 - -147. Suppose 0 = 4*b - g - h, -5*g + 16 = -g. Is 38 <= b?
True
Let b = 113 - 112. Which is smaller: 55/29 or b?
b
Let l = -1/464 - -2801/7888. Let b = -17153 - -17150. Do l and b have the same value?
False
Let d = 1579 + -1581. Suppose -7*i + 12 = -9. Is d bigger than i?
False
Suppose -9*q + 12*q = 2*n - 1742, -5*n = -3*q - 1754. Let y = q - -579. Which is smaller: 8/89 or y?
8/89
Let j(w) be the first derivative of w**4/4 + 7*w**3 - 2*w**2 - 18*w + 1. Let u be j(-21). Let d be (-20)/2*(3 + u/(-12)). Is 25 smaller than d?
False
Suppose -3*w = -2*c + 8, -w - 16 = -4*c - 0*c. Let z = 6763976/17 - 397882. Which is greater: z or w?
w
Suppose 3*o + 167 + 37 = 0. Let h be (30/(-25))/(7 - (-11902)/(-1705)). Which is bigger: o or h?
h
Let z = 0.3 - 131.3. Let i = -131.2 - z. Which is smaller: i or -4.9?
-4.9
Let c = -4157 - -4171. Suppose 0 = 4*s + 4*p - 6*p - 8, -s + 4*p = -16. Suppose h - t + 63 - c = s, 0 = 5*h - 2*t + 254. Do h and -51 have the same value?
False
Let t(r) = r**3 - 11*r**2 - 186*r + 2067. Let i be t(13). Is 64/7 bigger than i?
True
Let i be (-6)/(-15) - 57422/130. Let q = -441 - i. Let m = -1089 + 5443/5. Is m greater than q?
False
Let s(i) = 257*i + 1284. Let t be s(-5). Which is bigger: -2/6595 or t?
-2/6595
Suppose -19 + 4 = -3*p, -2*p + 45 = 5*v. Let b be (62/(-10))/(8/(-10)). Which is greater: b or v?
b
Suppose -2*r = -4, 469 = 3*c + 4*r + 236. Is c greater than 71?
True
Let j be ((-4)/(-10))/((-12)/(-20)). Let q = 0.29831 + 7.66319. Let a = -0.0385 - q. Is j > a?
True
Let o be ((-45)/(-90))/(279/92 + -3). Suppose 39 = 5*w - 16. Let z = 4 + w. Which is greater: o or z?
o
Let t(h) be the third derivative of -h**4/8 + 7*h**3/6 - 32*h**2. Suppose 0 = 4*j - 3*x - 29, 2*j = x + 3*x + 22. Let s be t(j). Are -0.1 and s unequal?
True
Let n = 13265 + -13295.3. Is n greater than 0.2?
False
Let q = -66 - -69. Let s be 2/q - (-10)/(-15). Let r = 9914/37 - 268. Is r equal to s?
False
Let c(y) = 3*y**2 + 41*y - 283. Let m be c(20). Suppose 4*i + 1360 = -3*u, 5*u + 4*i + 535 + m = 0. Are u and -456 equal?
True
Let t be -1*(2 + 0 + -2). Suppose -882 = -94*j + 73*j. Let h be (-105)/98*j/(-8) - 6. Which is greater: t or h?
t
Let m be (-15)/(-30) - 154/4. Let l = -43 - m. Let x be l/(-10)*(-12)/1. Do -5 and x have the same value?
False
Let b = -4608/11495 - -2/2299. Is b greater than -1/415?
False
Let u = -9609918/557 + 17253. Let p = 100281/3899 - u. Is 27 > p?
True
Suppose 27*z + 272 = -1726. Is -221/3 equal to z?
False
Let n = 41.92 + -49.1. Are -1 and n unequal?
True
Let w(j) = -j**3 + 5*j**2 + j - 16. Let o be w(4). Suppose 0 = -t + 4*p - 12, -2*t + 0*t + 2*p = 0. Is o at most as big as t?
True
Let n(l) = -2*l**2 - 21*l + 24. Let i be n(-11). Suppose 0 = o - 3*h + i, -4*h + h = -5*o - 101. Is o smaller than -22?
False
Let j = -5944 - -5944. Which is greater: j or -3/4895?
j
Let d be (-426)/(-3810215)*(-15)/6. Which is smaller: d or -1?
-1
Let a(b) = 63*b**2 + 6*b - 1. Let x be a(1). Let r be (-4)/(-34) + ((-88160)/x)/4. Which is smaller: -325 or r?
-325
Suppose -z + 15 = -5*q, q = z - q - 9. Let o = z + -1. Suppose -o*g + 4 = -0. Is g equal to -1/62?
False
Let q = -32 + 18. Suppose -4*k + 134 = -82. Suppose -5*y + 2*y - k = 3*z, -5*z - 2*y = 87. Which is greater: q or z?
q
Let y be 27 + 32 - 0/1. Suppose -y*n = -74*n - 1185. Which is greater: n or -82?
n
Suppose 5*k + 2 = 32. Let m be (-5335)/(-66) - (2 - 13/k). Let q = m - 82. Which is greater: -12/25 or q?
-12/25
Let y = 28.344 + 0.256. Is -0.3 smaller than y?
True
Let d 