
Let z be (4/(-6))/((-1)/6). Let u be (5 + 0 - 9) + z. Which is smaller: u or 562?
u
Let i be (-827330)/(-777) - 8/(-6). Let z = -1066 + i. Is z greater than or equal to -1?
True
Let k be 34/(-5669)*(-72)/612. Which is greater: k or 1?
1
Let u = 115.25 - 47.25. Are -49/4 and u non-equal?
True
Let d = 236 + -203. Suppose d*p - 3510 = -32*p. Is 56 bigger than p?
True
Let l = 152.24 - -1.76. Let t = -48886 + 48888. Which is bigger: t or l?
l
Let g = 2872731/32153 + -4914/55. Is -1 at least g?
False
Suppose 112*k - 16029 = -9309. Suppose 0 = 3*z - 5*v - 172, 2*z + 232 = 6*z - 4*v. Which is bigger: k or z?
k
Let a be 14/(2 - (-3 + 7)). Suppose 12*s = 9*s + 81. Let z be s/(-6)*(-4)/(-3). Which is smaller: a or z?
a
Let t be -1 + ((-8)/(-5) - 1). Let f = 0.0402 - 0.0476. Let u = -27.0074 - f. Which is smaller: u or t?
u
Let c = -765043612793027/103987 + 7357108223. Let q = -20/247 - c. Let m = 12 - 12. Which is smaller: m or q?
q
Let a(b) = -b**2 - 90*b - 342. Let k be a(-86). Which is bigger: 19/23 or k?
k
Let x = 311 + -309.44. Let p = x + -0.56. Suppose -5*l - 12 = -2*l. Which is smaller: p or l?
l
Suppose 519*n = 524*n + 20. Let p be ((-12)/(-2))/(-24)*n/(-7). Let v be 4/2*1/15. Which is smaller: p or v?
p
Let o = 86.913 - -0.887. Let v = o - 88. Is -2.9 <= v?
True
Let a be ((-4)/(-8) - 1) + 8 + -3. Let f be 1/(-4) - (-104)/32. Suppose 4*q = f*t - 31, 3*t - 1 = -3*q + 2. Is t greater than or equal to a?
True
Suppose 704*u + 312 = 698*u. Let p = 32 - -62. Suppose 0 = 2*i - 4*w + p, 172 = -4*i - 3*w - 49. Which is smaller: i or u?
i
Let k = 0.24 - -4.17. Let j = -3.21 + k. Which is smaller: -1/7 or j?
-1/7
Let j(b) = -b**3 + 73*b**2 + 2*b - 118. Let k be j(73). Let d = -1735/12 + 1037/6. Let q = d - k. Which is smaller: -14/13 or q?
-14/13
Suppose 0 = -12*a + 1669 - 433. Let o = a - 87. Let y = -5 + 21. Is y bigger than o?
False
Let b = -4 - -8. Let n = 408 - 413. Let w be (n/(-3))/((-35)/(-14) + 0). Which is smaller: w or b?
w
Let d = 60.1 + 0.9. Which is smaller: 6/53 or d?
6/53
Let s(b) = 24*b - 8. Let j be s(2). Suppose -5*q = -4*k + 40, -5*k = -k - 2*q - j. Let c = k - 9. Is 29 <= c?
False
Let t(l) = -32*l + 5. Let z be t(-5). Suppose -5*a - z = 95. Let u = a + 33. Does -19 = u?
True
Let a(o) = 3*o + 1. Let b be a(-3). Let i be ((-2)/b + 12/(-48))/1. Let s be 1/(14/(-96)) - (i + 0). Is -6 at most as big as s?
False
Let m(n) = -n**2 - 41*n - 75. Let u be m(-17). Let l = u - 329. Is 15/4 < l?
True
Suppose n - 14 = 70. Let p be (-119)/555 + (2 - n/45). Is 1 at least as big as p?
True
Let c(q) = 5*q + 39 + 37 + 5. Let o be c(-15). Let p be (168/90 - 4/o)*-5. Is p >= -10?
True
Suppose -9056 = 3*t + 4*b, -2*b + 4320 + 4706 = -3*t. Let a be (-7064)/t + (-77)/33. Which is greater: 0 or a?
a
Let s(m) = m**3 + 6*m**2 + 6*m - 3. Suppose -3*d - 4*j = -0*j - 52, 5*j - 44 = -2*d. Let k be (-6)/d*-1*-5*2. Let g be s(k). Does g = -11?
False
Let j = -3 + 4. Let m = -8299 - -705411/85. Is j smaller than m?
False
Let t(k) = -4*k - 4. Let v be t(9). Let x = 27 + v. Is -92/7 greater than or equal to x?
False
Suppose 0 = 51*k + 21*k - 35322 - 26526. Is k at most -0.02?
False
Let o = 0.8 - 21.8. Let y = o + 21.24. Let n = 0.06 + y. Is -6 at most as big as n?
True
Suppose -3529 = 94*b + 1446 - 369. Is -93 greater than b?
False
Suppose 0 = -v - 0*v - 5*i + 167, 2 = -i. Let h = v + -106. Let l = h - 82. Which is bigger: l or -10?
-10
Let o be 66235463/1141278 - 58 - (-6)/(-153). Let y be -2 + 1 + 2 + -2. Do y and o have the same value?
False
Suppose -5*o - 6*v + 1310 = -8*v, 3*o = v + 787. Let z = o + -556. Let x be z/(-14) + (-9)/(-63). Which is bigger: 20 or x?
x
Let v be 4*(-5)/(-30)*(-3)/7. Which is greater: v or -10.2?
v
Suppose 8 = -2*b, 3*v - v + 10 = -3*b. Let k(g) = -22*g**3 + 3*g + 2. Let o be k(-1). Let q be (1/o)/(-37 + 40). Which is smaller: v or q?
q
Let q(j) = j**3 + 31*j**2 - 36*j - 135. Let f be q(-32). Is f at least -187/25?
True
Let s be (-22)/77*392/600. Is 0 at least s?
True
Let q = 195/206 - -2979/24926. Which is smaller: q or 2?
q
Suppose -23 = -3*j + 4*i + 2, -5*j + 100 = 5*i. Suppose 0 + 35 = -3*l + g, -l - j = -g. Which is bigger: l or -81/8?
l
Let y = 109/119 + -20527/29036. Is 0 at most as big as y?
True
Let b(g) = 959*g - 5761. Let i be b(6). Let x be 250/(-9) - 10/45. Let v = 20 + x. Is v bigger than i?
False
Let b = -15.09 + 15. Let y = 81.1731 + -78.1731. Which is smaller: b or y?
b
Suppose 2*b + 12 = 2*g - 2, -2*g + 26 = -5*b. Let s be 1*g - 36/12. Suppose -4*q + 2*r + 0*r - 10 = 0, -3*q - 5*r - 14 = s. Which is greater: -13/4 or q?
q
Let n(g) = -9*g**2 + 1354*g - 644. Let a be n(150). Is -877/20 at least as big as a?
True
Let a(w) = -w**2 - 21*w + 5. Let x be a(-21). Suppose 92 = 3*h - 5*m + 34, 3*h + x*m = 8. Suppose 0*g = 5*g - 50. Is g equal to h?
False
Let t(n) = -28*n - 170. Let s be t(-8). Let z be ((-1)/s*-14)/(7/21). Which is smaller: z or 1?
z
Let x(o) = 4*o**3 - 30*o**2 + 15*o - 5. Let b be x(7). Let i be b/7*(245/(-30))/(-7). Which is smaller: i or -19?
-19
Let y(f) = 3*f**2 + 65*f - 34. Let l be y(-22). Let w be (-9)/3*l/108. Do w and -2/269 have the same value?
False
Let g = -197857/3 + 66913. Which is greater: g or 961?
961
Suppose 38*l + 2942 = 2942. Are l and -2/6755 nonequal?
True
Let w(m) = -m**3 + 7*m**2 - m + 9. Let u be w(7). Suppose 3*j - 15 = 2*p, -4*j + 7 = u*p + 1. Suppose 2*l - 47*y + 50*y = 0, -4*l + 2*y = -16. Is l >= j?
True
Let z(x) = -194*x**3 + 3*x**2 - 6*x + 2. Let p be z(1). Let j = p - -783/4. Is -21/4 smaller than j?
True
Let j be (30/(-236))/((-1290)/(-200) + -6). Which is bigger: -1 or j?
j
Let i be (160/50)/(1/50). Suppose 34*a - i = 44. Is a not equal to 8?
True
Let n be (-6944)/(-98) - 12/14. Suppose -5*s - n + 515 = 0. Are 88 and s non-equal?
True
Let x be -1 - ((-1 - 2) + 1). Suppose 3*w + 2*w - 25 = 0, -3*w = 4*o - 799. Let k be x/(-2) - o/728. Which is greater: k or -1?
k
Let k = -10.263 - 1.567. Let o = k + 12. Is -1 != o?
True
Let r(i) = -12*i - 74. Let q be r(-6). Let s be 105/(-45)*q*123/42. Which is smaller: -2/5 or s?
-2/5
Let g = -3062420/1123 + 2727. Which is greater: 0 or g?
g
Let d = 1557 + -1558.56. Which is smaller: 1 or d?
d
Suppose -221*b + 18090 = -288*b. Are -270 and b unequal?
False
Let v = 18007/8 + -306401/136. Is -3 at most v?
True
Let l = 2265.22617 - 0.22617. Is l at most -2/9?
False
Let a be (-1884)/(-54) + 600/540. Let t = 66 - 31. Is t >= a?
False
Let r(h) = -h**2 + 2*h + 6. Let a be r(5). Let l(y) = -2*y - 19. Let j be l(a). Let z be (-1)/3 + 56/294. Which is smaller: j or z?
j
Let p = -18 - -17.72. Suppose 5*n = -3*o - 20 - 7, 0 = -3*n - 18. Is o >= p?
True
Let c(j) = j**2 + 19*j + 3. Let s be -1 + -16 - (-5 + 7). Let o be c(s). Suppose 10 = l - 2*l - 5*r, l + 10 = -o*r. Which is greater: -4 or l?
-4
Suppose -21 = -5*q + 34. Let c be (12/216)/(q/(-3)). Let u = c + 25/198. Do u and -1 have different values?
True
Let k be (-1716)/2288*(-4)/3. Is 250/157 > k?
True
Suppose -2*l + 48 = -2*t - 5*l, 5*t = 2*l - 158. Let n be (1/2)/(-1)*t/3. Let u be (-4 - -9)/n - 15. Is -14 >= u?
True
Let x = 2891 + -2890. Which is bigger: -16/45 or x?
x
Let t = -82 - -408/5. Let h = -353.839 - -354. Let f = h - -0.039. Is t not equal to f?
True
Let p = 0.0481 - -1194.9519. Is p at most as big as 2/13?
False
Let f = 6055 + -6055. Let r = -15.5 - -15.4722. Is f > r?
True
Let r = 39.6 + 18.4. Let a = -59 + r. Let l = 0.4 + -0.2. Which is smaller: a or l?
a
Let j be (-3)/((-1)/1*5/15). Let b be (7 + -8)*177/j. Suppose 0 = -d - 4*d - 4*n - 92, -5*n = 2*d + 30. Which is smaller: b or d?
d
Let s be ((-56)/5)/(88044/(-870)). Which is bigger: 1 or s?
1
Suppose -5*j + 30 = 5*i, 2*i - 14 + 22 = 3*j. Let b(f) = -f**3 - 4*f**2 + 5*f - 5. Let y be b(-4). Is i smaller than y?
False
Let h(a) = 6*a - 1. Let z be h(6). Suppose -10 = -z*v + 30*v. Suppose 18 = m - v*w, -m = 3*m - w - 58. Is 40/3 > m?
False
Suppose 5*n + 0*n = 0, -4*n - 6 = -f. Suppose 2*z - 25 = -5*t, f = -t + 7. Is z equal to 2/9?
False
Let o be 92/10 - (-3)/(-15). Let j(h) = h - 8. Let t be j(o). Let v be (-390)/1450 - 1/(-5). Which is bigger: t or v?
t
Suppose -9*c - 26 = 55. Let g = 21 - c. Let k be 6/4*(-160)/g. Which is smaller: k or -3?
k
Let a = 1111 - 1111. Let s = 935/3 - 234697/753. Is a > s?
True
Let v = 39 - 36. Let s be v