 = 4 - i. Let o = a - 1.4. Which is bigger: 0.42 or o?
0.42
Let p = 111 + -106.04. Let f = 5.16 - p. Is f at least 80?
False
Let u be ((-4)/10)/(2/60). Let w = 1146 + -1155. Which is bigger: w or u?
w
Suppose 4*r + 8 = -n, -3*n - 92 = -5*r + 17. Let c be (-2)/(n/16 + 2 - 0). Let f be c + 6 + (-1)/(-10)*19. Is f > -1?
True
Let g = -74 + 53. Let r = -0.099 - 20.801. Let b = r - g. Is -47 at least b?
False
Suppose 0 = 2*c + 5*l + 17 - 56, -3*c = -l - 50. Suppose -c*w = -1319 + 180. Which is smaller: w or 1?
1
Let f = 4941 - 4835. Which is smaller: f or 1/9?
1/9
Let g = -3190 - -3217. Do g and 2/9 have the same value?
False
Suppose -381 = -2*g - 5*j, 3*j = -25*g + 24*g + 187. Which is greater: g or 1458/7?
1458/7
Let u = 188/165 - -2/33. Let p = -33399 - -33397. Is p >= u?
False
Let j = -346 + 300.7. Let o = -45 - j. Let d = -0.7 - o. Is d at least -5?
True
Let v = 140 + 0. Let x = v - 219. Let u = x + 78.7. Is 2 bigger than u?
True
Let w = -332 - -488. Let c = w - 156. Which is smaller: 3 or c?
c
Suppose 0 = -o - 1, 0 = a + a - 4*o + 1566. Let v = a + 10217/13. Let s be (-459 - 48)/(-39) + -11 + (-3 - -2). Which is smaller: v or s?
v
Let c = -150.978 + 151. Let z = 0.291 - 0.153. Let b = z + c. Which is greater: b or -2/5?
b
Let k be (-1 - (-12)/9)*9. Let l(i) = -2 + k + 2 + 2*i - i. Let y be l(-4). Which is greater: 3/17 or y?
3/17
Let f = 1.01 + -5.71. Let g = f - -5. Let r = 4696 + -4696. Is r at most as big as g?
True
Let p = 346.1 - 345.6816. Is 1 <= p?
False
Suppose 5*i - r - 236 = -0*i, 4*r - 256 = -5*i. Let f(w) = w**2 - 16*w - 669. Let m be f(36). Are i and m nonequal?
True
Let u be (9/3 + (-21)/6)*4. Let t be (-81)/231 + u/7. Let m = 81/110 + t. Are m and 0.9 unequal?
True
Suppose -2*d + 4*l = 608, 77 = 3*d + 2*l + 1013. Which is bigger: -12 or d?
-12
Let y = -501.124 + 0.124. Let m = 504 + y. Is m < 0.12?
False
Suppose -4*t = -1345 + 145. Suppose t = -2*w + 302. Is w at most 14/47?
False
Suppose 0 = -v - 4*x + 3 - 15, -v = 2*x + 6. Suppose v = 34*z - 7*z. Which is greater: -1/134 or z?
z
Let c(h) = 2*h**2 - 5*h - 5. Let j be c(-2). Suppose -10*a = -j*a + 6. Suppose v - 4*v = a*y - 9, -2*v - 10 = -4*y. Which is greater: 2/7 or v?
v
Let m(q) = q**3 - 29*q**2 + 64*q + 24. Let s be m(26). Let n be 12/(-130)*s/204. Which is smaller: 0 or n?
0
Let b = 14 - 148. Let u = b - 33. Is -166 < u?
False
Let k be (-8)/(15/9 + (-2472)/1476). Are 1 and k equal?
False
Let c be 2/(-1696)*(-2)/2. Let p = c + 12709/9328. Let z(q) = -6*q**3 - 152*q**2 - 439*q + 22. Let d be z(-22). Which is smaller: d or p?
d
Let m = 116698/3 + -38900. Let f = 2/239 - 2155/478. Is f at least as big as m?
False
Let x be (8 + 0)*(-17 + -12895*(-56)/42490). Is 0 > x?
True
Let c be (42/(-91))/((-1)/11). Let n = -8752/1729 + c. Let o = n - 143/665. Is o smaller than 0?
True
Let d(g) = -g**3 + 14*g**2 - 141*g + 1975. Let o be d(14). Is -20260 less than or equal to o?
True
Suppose 1389 + 2489 = 6*x - 802. Are x and 782 non-equal?
True
Let d = 2 - 1.3. Let b = -731.956 - 4.844. Let m = b + 737. Is m at most as big as d?
True
Let d(l) = l + 7. Let z be d(-4). Suppose -s = -0*s + z*k + 8, -3*s - 4*k = 9. Let q be -8*(-20)/(-104) + 6/4. Which is bigger: q or s?
s
Let x(h) = 87*h. Let d be x(1). Suppose 9*r + 750 + d = 0. Let t be (8 - r/(-20)) + 2/8. Which is smaller: t or 3?
3
Let l = -0.47 - 23.53. Let p be -4 + (-50)/(-13) - (474/(-546) - -1). Are l and p nonequal?
True
Suppose 4*h - 571 = 3*k, 4*h = 184*k - 185*k + 551. Which is smaller: h or 120?
120
Suppose -1576*q - 6 - 11 = -1559*q. Which is greater: q or 86/229?
86/229
Let j = -0.06 + 0.03. Suppose 0 = k + 2*g - 27, 2*k - 6*g + 4*g - 84 = 0. Suppose -31*d + k*d + 12 = 0. Is j less than or equal to d?
False
Let d be (-14)/16*1 + (-4)/32. Let z be 6802/20178 + (-1)/(-3)*d. Is -1 at least z?
False
Let s = 0.3481 - 0.412. Let y = s + 210.0639. Is -2 bigger than y?
False
Let n = 224 + -150. Let w = n - 74. Let a = -15.1 + -4.9. Is w <= a?
False
Let r be (0/((-2)/4*-2))/(-1). Suppose -5*c + 3*y - 85 = 26, 2*c + 3*y + 36 = r. Let t = 26 + c. Is t > 4?
True
Suppose 3 = p - w, -3*w - 2 = 4. Let x be (-6)/16 - 8/((-51456)/2364). Which is smaller: x or p?
x
Let y = 171 + 186. Let a = 329.1 - y. Let l = a + 28. Which is smaller: 8 or l?
l
Let d = -2848 - -2817. Is d at least as big as -2/95?
False
Let c = 43466 - 43410. Is 2/215 != c?
True
Let x be (12/(-10))/((-447)/(-502130)). Which is smaller: -1353 or x?
-1353
Let s = -11830 + 201356/17. Are s and -2 unequal?
True
Let h = 292.1414 - 292. Let d = h - -0.0586. Do -5.5 and d have the same value?
False
Suppose 0 = -4*p - 4*o - 112, 11*p - 7*p + 2*o + 96 = 0. Let m(r) = -28*r**2 + r. Let y be m(1). Which is smaller: p or y?
y
Let o = -13613 + 12172. Are -1442 and o equal?
False
Let m be 44/66 + 1036/(-6). Let f = m - -183. Which is smaller: 5 or f?
5
Let j be (-150)/6 + (-8726058)/(-349041). Is -1 at most as big as j?
True
Let o be -95*2*14/16*-4. Let t = o + -593. Is 68 bigger than t?
False
Let d = 19909/543 - 110/3. Which is greater: -1 or d?
d
Suppose -6*t + 407 = -9*t - j, -4*j + 564 = -4*t. Is t <= -132?
True
Let c = 471.7 - 70.7. Let f = c + -400.9. Let p = 54.9 + -58. Which is smaller: p or f?
p
Let q be (-3)/(-210)*212 + -3. Suppose 5*g = 9*g + 4. Which is greater: g or q?
q
Let y = 3286.64 + -3285.7. Which is bigger: 69 or y?
69
Suppose 0 = -h - 3*h. Suppose 6*a - 2*a - 4 = h. Let r be (-935)/68 + 15 - (-3 - 2219/(-524)). Is a less than or equal to r?
False
Let l(z) = z**3 - 52*z**2 + 449*z + 20. Let c be l(11). Is -46/47 < c?
False
Let x be (-5124)/((-51)/(-24) - 0). Let i = x + 2412. Suppose 6*f = 7*f - 2. Which is smaller: f or i?
i
Let i(n) = -n**2 + 17*n - 14. Let d be i(16). Let c = 179/40 + -5827/1320. Does d = c?
False
Let z be 3*4/30 - (-835)/(-25). Let k be (31 + z)*(3/72 + 0). Is 22 >= k?
True
Let h be 3 - (-2 + -1 - -4). Let p be (6 + -4)*3/6 - h. Which is greater: p or 2/127?
2/127
Suppose -4*c = -11 + 31. Let t(s) = -s**3 - 3*s**2 + 5*s - 5. Let f be t(c). Suppose -34 = -22*m + f*m. Are 19 and m non-equal?
True
Let p(j) = -5*j**3 + 4*j**2 + 9*j - 26. Let h be p(3). Let m be (-42)/84 + h/12. Is m less than or equal to -9?
False
Let x be 32835/(-33)*(112/(-20) + 3). Which is smaller: x or 2588?
x
Let n be (-3)/(-2) + 1/(-2). Let h be ((-118)/177)/(-5 + 1 + 6 - -358). Which is bigger: n or h?
n
Let m = -2254 - -2430. Which is smaller: 199 or m?
m
Let n = -1.21 + 2.03. Let v = n + 0.18. Which is bigger: -25 or v?
v
Suppose 2*v - 21 = n, -4*v - 41 + 117 = -4*n. Let g = -17 + 32. Let d be 24/(-2)*g/10. Is d < n?
True
Let r(m) = -65*m + 1 + 67*m - 3 + 3*m**2. Let y be r(1). Suppose -y*k - 1 = -22. Which is greater: k or 5?
k
Let c be 19/(-57) - (-517)/3. Let z = -270 + c. Which is greater: z or -99?
z
Let w be ((-18)/(-7))/((-1)/(-7)). Let n be (-9)/w + 22/20. Suppose -r + 2*r = 5*t - 10, 0 = 2*t - 2*r - 4. Which is greater: t or n?
t
Let j = 39 - 27. Let o be (-476)/(-102) + 36/(-6). Which is bigger: o or j?
j
Let q = 0 - -4. Suppose 2*s + q = 6. Let u = -290 - -6089/21. Is s less than u?
False
Let q be 33/22*((-42)/(-205) - (-8 - -8)). Is 1 less than or equal to q?
False
Let q = 9544 - 9563. Which is smaller: q or -15?
q
Let p = 81.022 + -81. Let s = p - -88.978. Does 0.1 = s?
False
Let g = 10559/340 - 26/85. Let u(w) = -9616*w - 28816. Let x be u(-3). Is x equal to g?
False
Let a = 2979 + -2853. Is 130 at most as big as a?
False
Let u be (126/90)/((-10)/(41 - -9)). Let d = 8 + -12. Let o be (d/10)/(1/20). Which is smaller: u or o?
o
Let w(k) = -4*k - 74. Let m be (-25)/3 + (-36)/(-27). Let a(b) = -b - 25. Let r(p) = m*a(p) + 2*w(p). Let f be r(12). Which is smaller: f or 14?
14
Let b = 2 + -3. Suppose -3*w - 4 - 14 = -4*l, 8 = 3*l - 5*w. Let h be l/4*4/(-48). Is b greater than h?
False
Suppose 0 = -4*s + 12, 2*u - 9 = 4*u - 5*s. Let k(r) = -r**3 - 12*r**2 + 117*r - 62. Let g be k(6). Is u equal to g?
False
Let b be ((-6)/30)/(96/336). Which is greater: b or -1?
b
Let w = 2/28069 - 2750772/140345. Let q = -68 + 47. Is q at least as big as w?
False
Let q = 17/20 - 5/4. Let h be (-730)/77 - (-4)/7. Let g = -741/77 - h. Is q at most as big as g?
False
Let n be (19/7 - 3) + ((-2505150)/(-210) - 1). Are 11928 and n non-equal?
False
Let m = 3 - -2. Suppose 2 = g, -50 = -m