 is smaller: 1 or r?
r
Let q = 4141 + -4141. Which is bigger: -1/4649 or q?
q
Let o = -308.8 + 359.8. Are -4 and o non-equal?
True
Let y be 12 + (-410)/35 + (-5 - 7462/49). Let s be (-16*5)/(2/4). Which is smaller: y or s?
s
Let m be 392645/(-880935) + 2/19. Let a = -2/281 - m. Is a at least as big as -5/53?
True
Let y = -32 + 37. Suppose -y*n + 0*n = -10. Suppose n*g = -2*g. Which is greater: g or 1/57?
1/57
Suppose -5*i + 15 = -3*k, 4*i - 12 = 2*k - k. Let a be ((-1611)/(-510))/((-3)/((-4095)/(-28))). Let g = a + 154. Is k bigger than g?
False
Let p be 3/(-4732)*((-96)/9 - -11). Which is smaller: 0 or p?
p
Let u be 14/28*(7 - 1). Let h = -1.19 + 56.19. Let r = h + -47. Is u > r?
False
Let a = -13030/153 - -1444/17. Let s(q) = -q**3 + 5*q**2 + 4*q + 3. Let j be s(6). Let h be (-6)/j*6/(-4). Which is smaller: a or h?
h
Let z = -31/7 - -1636/371. Let q = 7 + -5. Suppose q*h - h = 1. Which is smaller: h or z?
z
Let s = -26126 + 26128. Let n = 55/8 - 265/56. Which is smaller: n or s?
s
Let a(q) = 69*q**2 - 2078*q + 95. Let d be a(28). Is -3 at most as big as d?
False
Let q be (138/15)/(1/5). Let j = -45 + q. Let l = -120/13 - -5481/598. Is l greater than or equal to j?
False
Let j be (-2)/(-4)*5388/10367410. Do j and -1 have the same value?
False
Let q be ((-126)/99435)/(3/(-5)). Let x = -21791/4735 + q. Is x bigger than -2/3?
False
Suppose -4*h = u + 1264, 531*u - 534*u = 3*h + 3720. Which is smaller: -1239 or u?
-1239
Let j(p) = -p**2 - 323*p - 3170. Let m be j(0). Is -3165 at least as big as m?
True
Let i be 660/165 + (106/(-26) - 1). Let o = -609/143 - i. Which is smaller: -2 or o?
o
Let q = 189406/259863 + -103/141. Which is smaller: q or 1?
q
Let z = 7929 + -1339958/169. Is z at least as big as 1?
False
Let f(h) = 37*h**2 - 2*h + 2. Let m be f(1). Suppose 5 - m = 8*b. Let x be (-160)/78 - b - 2. Is x at most 0.1?
True
Let b be (-3)/(-36)*12*0 + 0/(-1). Which is bigger: b or 231/47?
231/47
Let j(o) = -16*o - 25. Let f be j(-3). Suppose -n + f = -s + 15, -5*s - 44 = -3*n. Is s at least as big as -10?
True
Let i = 7781 - 7540. Which is greater: i or -1/2?
i
Let c = 8.38 - -9.62. Suppose 0 = -52*r + 50*r + 4*o + 10, 0 = -3*o + 12. Do r and c have the same value?
False
Let s be ((-2)/(-60))/(1/28). Suppose -5*i + 2*w = 3*w - 2701, 5*i = w + 2709. Let q = -541 + i. Which is greater: s or q?
s
Suppose 11*u - 7*u = 4*m - 628, -2*m - 8 = 0. Is u equal to -153?
False
Let y(g) = 15*g**2 + 6*g - 30. Let i be y(3). Suppose -i + 8 = 23*s. Which is smaller: s or -25/6?
s
Let w be -2*(-1)/(-4)*-2. Let p(v) = -v**3 + 2*v**2 - v. Let d be p(w). Let u = -85146 - -85146.3. Which is smaller: u or d?
d
Let y be (99/(-11))/((-6)/(-4)). Let o be 4*(4/y)/2. Which is smaller: o or -0.04?
o
Let v(o) = o**3 - 15*o**2 - 1. Let p be v(15). Let m be p/(4 - 235/25). Is m smaller than 1?
True
Let s = -0.29693 - 0.00307. Which is greater: 221 or s?
221
Suppose 0 = 2*v + 4*b - 2*b + 72, 4*b = 7*v + 241. Suppose 0 = 2*x + 5*z + 85, 0 = -x - 5*z - 29 - 21. Is v greater than x?
False
Let a = -3/172 - 593/516. Suppose 7*n - 132 = 5*n. Let r = -67 + n. Which is smaller: r or a?
a
Suppose 23*j + 30028 = 28*j - 2*a, 5*j - 30034 = -4*a. Is j at least as big as 6007?
False
Suppose -18*p + 75 = 615. Let m be (p/75)/(402/10). Is -0.2 >= m?
False
Suppose -7*n - 8*n + 4*n = -3*n. Let s be (-1)/(-2)*10/(-1745). Is s <= n?
True
Let y(i) be the third derivative of i**5/6 - 13*i**4/12 - i**3/2 - 293*i**2. Let n be y(3). Is n greater than 19/2?
False
Suppose 0*l + 5*v + 18 = 2*l, 4*l + 8 = -v. Let n(b) = -2*b**2 - 15*b - 16. Let d be n(-11). Let j be 2/(-11)*d/(-186). Is j smaller than l?
False
Let f be (28/(-70))/((-1)/30). Let j = 14 - f. Let t be 15/4*j/36. Are 0 and t unequal?
True
Let b be 4 - (1 + -1) - -31. Let q(v) = -5 + 4*v + 3*v - b. Let r be q(10). Which is bigger: r or 29?
r
Let i = -5705 + 10907/2. Which is smaller: -252 or i?
-252
Let x = 0.44 - 0.12. Let i = x - -0.06. Let v = 1.38 - i. Which is greater: -0.07 or v?
v
Suppose 0 = 1201*z - 1221*z + 92480. Is 4623 != z?
True
Suppose -2*v - 3*s - 11 = -6*s, 0 = -5*v + 2*s. Suppose b + 3*r = v*r - 281, -4*b + 4*r = 1156. Is b at most as big as -284?
True
Let k(b) = -56*b + 7. Let q(v) = 33*v - 3. Let w(c) = 3*k(c) + 5*q(c). Let s be (-2)/(-1) - 0/(-2). Let h be w(s). Is 1/55 greater than or equal to h?
True
Let m(t) = t**2 - 6*t - 15. Let o be m(8). Which is bigger: o or -3/5734?
o
Let p = -626 + 617. Let y = 4.65 + 1.25. Let a = y + -6. Is p greater than or equal to a?
False
Let f = -158.061 - -158. Let w = f + -18.939. Are -2 and w unequal?
True
Let c = 2382/223 + -1186205/113953. Let q = c + 1/73. Are 2/357 and q non-equal?
True
Let j be (-2)/(-21) + 258676/462. Suppose 2*m + 10*r = 9*r + 233, -2*r = -5*m + j. Which is smaller: m or 571/5?
m
Let a = 249 - 53. Let q = a + -196.3. Is -50 at most q?
True
Let r = -3.7 - -24.7. Let h be 9*5/15 - -7. Let w = h + -41/4. Which is smaller: w or r?
w
Let l be 57/132 + 133/(-266). Let i(r) = 0*r**2 + 6*r**3 - 7*r**3 - 5*r**2. Let m be i(-5). Is l less than m?
True
Let h be -4 - (41/(-1) - 1). Let d = 33 - -25. Let m = -19 + d. Is h at most m?
True
Let h be 55236/7893 - 280/40. Which is smaller: h or 1?
h
Let m = -7497 + 7501. Which is smaller: m or -605?
-605
Let f be ((-36)/6)/(-6) + 198/9 + -24. Let n be (2/(-5))/(233/(-5)). Are n and f equal?
False
Let x = 38.142 - 0.442. Let s = x - 5.7. Let j = 62 - s. Is 0.1 greater than or equal to j?
False
Suppose 4*b + 0*b - 208 = 0. Suppose b = 2*l - o, 0*o = 2*o - 8. Suppose -281 = 39*q - 1334. Is q bigger than l?
False
Let x = -165111/49 - -3370. Do x and 1 have the same value?
False
Let g = 34510 + -29815. Is 4694 bigger than g?
False
Let j = 220061 - 2422759/11. Which is smaller: -189 or j?
j
Let k(a) = 18*a + 2. Let i be k(4). Let z(m) = 73*m + 511. Let f be z(-6). Is i less than f?
False
Let o(x) = x**2 + 13*x - 63. Let h be o(-17). Suppose -11 = 4*l - h*t - 51, 0 = t + 4. Which is smaller: l or 15/4?
15/4
Let j = 2471 + -346. Is 2125 smaller than j?
False
Suppose 582 + 45 = 3*z. Suppose -j = -c - c + 146, 3*c - 4*j - z = 0. Suppose -6*d + 15 = -c. Which is bigger: d or 17?
17
Let h = 90 + -48. Suppose -2*g - 126 = -2*t + 64, t = 2*g + 93. Suppose 3*q - 32 - t = 0. Do q and h have the same value?
False
Let f = 19567 - 234953/12. Is -13 at most as big as f?
True
Let g(y) = 26*y**3 + 4*y**2 - 4*y + 1. Let l be g(2). Suppose l = 3*z + 4*w, -3*z = -6*z + 5*w + 262. Are 315/4 and z equal?
False
Let q be ((-817)/(-171) - 5) + (-7)/9. Is 2/27891 > q?
True
Suppose -4*u - 413 = 3*q, 0 = q - u + 35 + 112. Let c be (-2028)/q*(-2)/(-4). Is 7 at most c?
True
Let m be (-25)/175*(99 + -2)*-7. Do 90 and m have different values?
True
Let p(b) = -2*b - 14. Let n be p(-12). Let c(g) = 2*g**2 - 8*g - 18. Let h be c(n). Let s = h - 101. Which is smaller: s or -4/13?
-4/13
Let b = 33283 - 1730631/52. Is b equal to 2?
False
Let w be ((-17)/(-2) - 1)/((-9)/12). Let c be (1 - (-46)/w)*(-65)/(-26). Let y be (-39)/c*(0 + 2 - -1). Is y greater than or equal to 16?
False
Let p be 1070656/267648 - 36/9. Is p != -1?
True
Let y = -1410 - -788. Which is bigger: y or -623?
y
Suppose -126*i + 18*i = 34*i + 426. Are i and -173/63 non-equal?
True
Let z(q) = -4*q - 6. Let f be z(-2). Let p = f - -16. Suppose -3*x + 6 = 0, 5*r - 2*x - 62 = 29. Which is smaller: r or p?
p
Suppose -5*s - 3*v = -14, 0 = -4*s + 5*v - 19 + 8. Is s smaller than -2/3945?
False
Let g = 3.21 + -0.7. Let r = g + -2.464. Which is smaller: r or 1?
r
Suppose l = 4*c + 15914, -10*l - 3968 = c - 5*l. Let y = c + 75602/19. Is y greater than 0?
True
Let l = 0.19 - 0.08. Let c be 10/(-30) - 191/(-279). Let i = c + -4/31. Is l bigger than i?
False
Suppose 95*f + 40 = 91*f. Let z be (-346)/f + -1 + 6. Do 40 and z have the same value?
False
Let t(q) = 19*q + 52. Let s be t(-8). Let o = 103 + s. Let z = 4 - 2. Is z != o?
True
Let u(j) = -279*j - 1678. Let c be u(-6). Do -170/37 and c have the same value?
False
Suppose -u + 1078*t - 1079*t = -18, 0 = -2*u + 3*t + 66. Is 460/19 greater than u?
True
Let f = 5042/11 - 5137919/11209. Is f <= 0?
True
Let q = 3960 - 3196. Which is smaller: q or 1/3?
1/3
Let q = -32724 - -30924184/945. Is 1 smaller than q?
False
Let u = -23.46 + 0.46. Let n = 21.9 + u. Let i = -93 - -9