 61380/21648 - 2/8. Which is smaller: 2 or l?
2
Let f = -0.0561 - 63.3439. Let x = 33.5 + f. Let j = x - -28. Is j not equal to 0.4?
True
Let b = -497.1 - -497. Let q = 3.03 - 2.9. Let w = -1.13 + q. Which is greater: b or w?
b
Suppose 4*l - 32 = -4*y, y - 5 + 3 = 0. Let c be -6 - 1/((-7)/77). Is l less than or equal to c?
False
Suppose 3*x + 5*w = -3 - 15, 3*x - w = 0. Let f be 20/4 - (-2653)/(-532). Which is smaller: f or x?
x
Let i = 0.05267 + -0.83267. Is i <= 4?
True
Let u = 2 + -3. Let l = 38080/3627 + -326/31. Which is smaller: u or l?
u
Let v be 1/(9/(-6)*(-12)/90). Suppose v*q = 3 + 32. Let k be -4 + q/(420/184). Which is bigger: -2 or k?
k
Let a(o) = 4*o**2 - 13*o - 13. Let u be a(8). Which is smaller: 144 or u?
u
Let p = 185/61 - -38109/488. Is 80 >= p?
False
Suppose 5*s - p = 16, 5*s - 11 = -8*p + 4*p. Suppose -m = -0*m - s*o + 13, 0 = -m + 5*o - 21. Is m less than or equal to 2/69?
True
Let u = 104 + -111. Let j be ((-1)/22)/1*(13 - u). Do j and -1 have the same value?
False
Suppose -3 = s + 4*f, -1019*f = -3*s - 1015*f + 7. Which is greater: 7/1591 or s?
s
Let t(b) = -b**2 - 36*b + 120. Let w be t(-43). Let p = 182 + w. Which is smaller: p or 4/21?
4/21
Let h = 287 - 408. Suppose 5143 = -48*q - 809. Are q and h nonequal?
True
Let u = -0.746 - 0.004. Let c = u - -15.75. Which is greater: c or -0.7?
c
Let y = -60889 - -60878. Let h = -259/6 - -43. Which is smaller: y or h?
y
Let m(o) = 2*o**3 + 40*o**2 + 7*o + 333. Let v be m(-19). Which is greater: v or 942?
942
Let q = -23785 - -23785. Which is greater: -25/467 or q?
q
Let s = -84.26264 - -0.26264. Which is smaller: s or -8/5?
s
Let q = -18140 - -16687. Do q and -1453 have the same value?
True
Suppose -5*c + 554 = 4*t - 5*t, -2*c = -4*t - 236. Let n = c + -97. Is n not equal to 13?
False
Let a be 424/(-40) + (-2)/5. Let q(v) = v**3 + 5*v**2 - 13*v - 68. Let y be q(-3). Is y greater than a?
False
Let k be (-4)/1 + 9 + -3. Suppose -8*a - k = 22. Is -10 at least as big as a?
False
Let c be (-7)/(-21)*0/1 - 4/30. Which is smaller: -352/15 or c?
-352/15
Suppose 5*a + 5*y = 75, -33 = -5*y - 13. Which is smaller: a or 21/2?
21/2
Let d = -197253609638 - -11637420124630/59. Let s = d - -9199246. Let i = 1500 + s. Is 0 smaller than i?
True
Let v(n) = -n + 18. Let s be v(7). Suppose -13 - s = -2*p. Is p bigger than 15?
False
Suppose 2791 = 35*b - 2500 + 1966. Let m be (4 + 0)*198/8. Is b smaller than m?
True
Suppose -z - 62 = -3*z + 3*m, -5*z + 197 = 3*m. Let n(c) = 14*c**2 - 6*c + 4. Let q be n(-3). Let y = q - 112. Which is bigger: y or z?
z
Let s = 11111 - 55551/5. Which is bigger: s or 108/19?
108/19
Let c = 25 - 177. Let z be 38/2 + 1710/(-10). Is c less than z?
False
Let d be (-747)/(-1411)*16/72. Let s = -2 - -2. Which is smaller: s or d?
s
Let g = 38.93 - 39.23. Which is bigger: g or 19/16?
19/16
Suppose -6*m = 4*m + 720. Let n be 4 - m/(-16) - (-374)/732. Which is smaller: -1 or n?
-1
Suppose 20 = -9*y + 2. Let a be (-16)/36*3*y/8. Is a less than -190?
False
Let h = -30116 - -692644/23. Is h smaller than -1?
True
Let q = 2822/5 + -564. Is q at most -2/65?
False
Let l = -84960/107 - -794. Let z = -0.14 + -3.26. Let s = 2.4 + z. Is s at most l?
True
Let l = -1.23 - 0.47. Let o = 1.8 + l. Which is greater: -13/4 or o?
o
Let s be (34/(-5))/(4/(-5))*2. Suppose -6*t - s = 67. Which is greater: t or -2?
-2
Let d(s) = s**2 - 178*s + 1521. Let i be d(9). Do i and -2/28345 have different values?
True
Let s = -48/439 + 18464/233109. Which is smaller: 1 or s?
s
Let x(f) = f**2 - 7. Let a be x(5). Let t be ((-2)/408)/(a/(-36)). Is 0 less than t?
True
Suppose -30*z = -111*z - 143*z. Is z smaller than 2/6675?
True
Let y = 6818 - 6818.02. Is 1.5 <= y?
False
Let q = 796 - 796. Let m be (q + -23)/(28 + -29). Which is smaller: m or 30?
m
Let r = 110 - 72. Suppose 35*s - r*s - 60 = 0. Let o be ((-16)/s + 1)*-5. Is o <= -19/2?
False
Suppose 459632 - 155231 = 3*u. Let r be (u - -1)/(3 + 774). Let c = 914/7 - r. Which is smaller: c or -1?
-1
Suppose -4*d - 4*l = -52, 4*d - 5*l - 22 = 3. Suppose 3*k = 4*n + 4, -4*n = -13 - 7. Which is smaller: d or k?
k
Let k = 2291 - 25253/11. Suppose -132*n + 134*n = -12. Which is bigger: n or k?
k
Let t = -838 + 844. Let d be 83387/(-732) - (-4)/t. Is -114 less than d?
True
Let t(r) = -7*r + 2. Let g be t(-6). Suppose 0 = 15*m - 14 + g. Which is smaller: m or -29/21?
m
Let i be ((-220)/6)/(1 + (-26)/30). Let p = -275 - i. Which is greater: -1/67 or p?
p
Suppose 0 = 28*w - 13347 + 76095. Are -2242 and w unequal?
True
Suppose -2*z - 3*x + 44 = 19, 0 = -x + 5. Let g = -4 - -7. Suppose -33 = -4*i + z*l, -3*i - l - g*l = -17. Do i and 13/2 have the same value?
False
Let o(g) = 5*g**3 + 24*g**2 + g - 46. Let i(n) = 11*n**3 + 48*n**2 + 2*n - 92. Let x(u) = 6*i(u) - 13*o(u). Let a be x(24). Is a smaller than 33?
True
Let b(n) = 3*n + 51. Let k be b(11). Let l be 24/k - 771/(-21). Does 38 = l?
False
Let r be 26 - (618921/918)/27. Which is greater: -1 or r?
r
Suppose -5 = 3*c - 4*c. Suppose -5*p = -4*q + 5 - 0, 3*q - c*p = 5. Let d be (-14)/(-8)*(-450)/210 - -4. Do d and q have the same value?
False
Suppose -2*n + 6*n = -j + 16, 5*j = 2*n - 8. Let h(t) = 23*t**2 + 17*t - 6. Let q be h(11). Let b be q/(-370) - (-79 - -71). Which is smaller: j or b?
b
Let s = -1.13 - 1.8. Let q = 1.82 + s. Let c = 1.096 + q. Is -1 < c?
True
Let x = -898.0621 + 898. Is x less than -1/4?
False
Let s = -557 + 733. Let q be (-2)/(-45)*-3 - s/(-11220). Is q < 0.057?
True
Let z be (-30)/(-24)*((-77 - 3) + 0). Is -93 less than or equal to z?
False
Let j = -45.78 + 46. Let i = -0.18 + j. Let q = 0.17 - i. Which is bigger: 0 or q?
q
Suppose -c + 3*z = -43, -5*c - 4*z = -0*z - 215. Suppose -l + 27 + 16 = 0. Let y = c - l. Which is bigger: -1/18 or y?
y
Let n be ((-5)/10)/((-4)/((-368)/(-3))). Let h(u) = 2*u + 5. Let c be h(5). Which is greater: c or n?
n
Let n = 562 - 2101. Is n < -1539?
False
Let y(p) = -p**2 + 13*p - 22. Suppose -3*f - 1 + 4 = 4*l, -4*f - 12 = 0. Suppose -61 = -5*q + l*o, 0 + 8 = -4*o. Let m be y(q). Which is greater: m or -1/33?
m
Let o(u) = -u - 6. Let q be o(-10). Suppose 0*y - q*y = -88. Let m be 2*((-535)/(-60) + -9) + 278/12. Do y and m have the same value?
False
Let m = -632 + 632. Suppose m = 6*g - 1976 + 14. Is g > 327?
False
Let x(s) = -s**2 - 8*s + 18. Let l be x(-10). Let b be (24/(-5))/l - (-14)/(-35). Let p be (-6)/(-12)*(-1)/b. Is 5 bigger than p?
True
Suppose -4*f + 13 = -5*l, -4*l + 3*f = f + 14. Let o(s) = s**3 + 6*s**2 + 4*s - 6. Let r be o(l). Let x be 7*6/r + 2. Is x equal to -39?
False
Suppose 0 = 3*j + 19*d - 20*d, 0 = j - d. Suppose -7*z - 7 + 21 = j. Which is smaller: 12/13 or z?
12/13
Suppose -6*v = -v + 5*d - 10, -2*v + 3 = 3*d. Suppose -5*q = -q - v*q. Which is bigger: q or 2/3?
2/3
Suppose -23 - 61 = -2*r. Let a = 41 - r. Let n(y) = -6*y**2. Let k be n(a). Is k greater than or equal to -8?
True
Let c be -2*((-50)/375 - (-71)/(-30)). Let p be ((-7)/60)/(c/20). Does 1 = p?
False
Let r = -108.03639 + -0.04361. Let z = r - -0.08. Which is bigger: 1 or z?
1
Let w be (-7)/(-2)*6979*(-52)/(-1274). Are 0 and w non-equal?
True
Let y(s) = 177*s + 424. Let z be y(-5). Do -462 and z have the same value?
False
Let k be (-368)/26 - 426/(-2769). Which is greater: -83/6 or k?
-83/6
Suppose -2*n - 2 - 2 = j, j - 3*n - 11 = 0. Let a(y) = 2 - 2*y - y + j*y. Let k be a(-9). Is 11 != k?
False
Let t = -0.54 - 387.46. Let g = -388.031 - t. Which is smaller: g or -3?
-3
Suppose 3*u - 254 = -2039. Suppose 13 = -3*c + 1, -5*c + 2356 = -4*h. Which is greater: h or u?
h
Let l = 3.47 - -73.93. Let x = -7675 - -7600. Let h = l + x. Are -0.1 and h nonequal?
True
Suppose k = 5*n + 205, 4*k - 4*n + n - 769 = 0. Suppose 6*z - k = z. Let f be z/95 - 42/5. Is f at least -6?
False
Let g = -2.9184 - 0.0816. Is g equal to 0.1181?
False
Let c = -0.5404 + 0.098. Let u = -0.0576 + c. Is 4/17 not equal to u?
True
Let w be (-1)/(-18)*18/1. Do w and 9/1048 have the same value?
False
Let t be ((-1)/3)/(10/(-6)). Suppose -5*w - 2*r + 46 = 0, -4*w + 4*r + 28 = w. Suppose 2*f + w = 10*f. Which is smaller: t or f?
t
Let h(n) = 38*n + 17. Let m be h(-9). Let d be (-2177)/3620 - 195/m. Which is smaller: d or 1?
d
Suppose -31*y = -401 + 153. Which is smaller: y or 543/64?
y
Let z = 1.892 - 1.992. Which is s