reater: s or 1?
s
Let b be (-513)/2*(8/(-30) - (-52)/(-130)). Which is smaller: b or 170?
170
Let p(h) = 264*h - 4. Let d be p(3). Let v be (d/(-12))/((-20)/(-12)). Let g = v - -39. Is -0.4 bigger than g?
False
Suppose 53*u - 128 = 55*u. Let x = u - -62. Let m be ((-5)/5 - 0)*x. Which is bigger: m or 4?
4
Let r = 284049105/3649 - 77843. Is 0 != r?
True
Suppose 0 = -404*w - 398 + 16962. Is 327/8 bigger than w?
False
Let x be ((456/(-6678))/19)/((-18)/(-21)). Is -7 at least x?
False
Let s = -5 + 4.96. Let x = 31/1204 + -822487/6020. Let j = 137 + x. Which is smaller: s or j?
s
Suppose 0 = -5*m + 6*c + 683, 3*c - 701 = 50*m - 55*m. Are m and 123 equal?
False
Let u be 21 - (-184 - 192/12). Do u and 198 have different values?
True
Suppose -4*z = -4*o + 16, 0 = -118*o + 119*o + 3. Is z smaller than -3?
True
Let b = -10487 - -10491. Are 0.892 and b nonequal?
True
Let z = -16966 + 119256/7. Is 70 less than z?
True
Let p = -10116 - -9853. Is -0.2 at least p?
True
Let l be ((54/144)/((-6)/10968))/(2/(-4)). Is l less than 1369?
False
Let o = -1379/99 + 163/11. Is -0.025 >= o?
False
Suppose 4*w - 3*u - 157 = 0, 1422*u + 161 = 4*w + 1423*u. Let n be (-344)/(-9) + (-16)/72. Is n greater than or equal to w?
False
Let p be ((-45)/36)/(14 - (-21879)/(-52)). Is p bigger than -1?
True
Let t = 14 - 48. Let l = 38 + t. Let a be l/(-6) - (-504)/351. Do a and 2 have the same value?
False
Let z = 12 - 11.4. Let v = -2.91 + z. Let x = v - -0.41. Which is bigger: x or 0.1?
0.1
Let n = 8179 - 8179. Which is smaller: n or 7/2720?
n
Let w = 67 - 216. Let o = 782.1 + -782. Do o and w have different values?
True
Let y be 22/10 + (-4)/(-5). Suppose 17 = y*l - 34. Let d = -49/3 + l. Do 9/5 and d have the same value?
False
Let d be (-13)/(78/5340)*(36/(-8) + 3). Is 1336 less than d?
False
Let k = 1034/19 + -109/2. Suppose 96 = -595*t + 593*t - 8*m, t - 5*m - 60 = 0. Are k and t equal?
False
Let n(k) = -22*k - 49. Let h be n(-11). Let p = h - 186. Let s be 2/(-8) + (-33)/(-4). Is p less than or equal to s?
True
Suppose -12*x = -25*x - 40*x - 742. Which is greater: -138 or x?
x
Suppose h = 3*h. Suppose 3*k - 66 - 105 = h. Let r = 13.32 + -12.32. Is k less than r?
False
Let b = 16521 - 16530. Is 79 greater than or equal to b?
True
Let a = -18351.3 - -18349. Which is greater: a or 1/39?
1/39
Suppose j - 32 = 3*h, -52*h - 2 = -51*h + 4*j. Which is greater: -31 or h?
h
Let p be ((3 - 13) + 10)*(17 - 16). Let q be 2/(-8) + (-1385)/(-20). Is p bigger than q?
False
Let p be 134/(-12) - (1 - 28/24). Let t be 456/(-88) - 2/p. Let m be (-3)/t - 3144/40. Which is smaller: m or -77?
m
Let t = 101 + -100. Let c = 91 + -21. Let r = c + -94. Is t at most as big as r?
False
Suppose 10*s + 12392 = 2192. Which is bigger: s or -1023?
s
Let q be (-440)/(-55) - 1/1. Suppose -5*i + 9 = 3*m, 0 = 3*m + 3*i - q*i - 9. Which is bigger: -9/14 or m?
m
Let q be (32/1112)/(4/(-10)). Let o(u) = 130*u - 650. Let n be o(5). Which is smaller: n or q?
q
Let c = 9771/1886 + -217/46. Let n = 1194/2665 - c. Which is smaller: -0.1 or n?
-0.1
Let a = -3/16126 + 2935/16126. Which is greater: a or -0.0707?
a
Let g = -255.8 + 218. Let k = 38.8 + g. Which is smaller: 1.6 or k?
k
Suppose -5*o + 3 = -2*f, -2*o = -3*f - o - 11. Let d(q) = q - 20. Let v be d(f). Suppose -a - a - 46 = 0. Which is smaller: v or a?
v
Let p be (-2)/(-6) - (-187)/33. Let c(n) = -2*n**3 - 2*n**2 + 3*n + 3. Let b be c(2). Let m be (3/(-5))/(((-18)/b)/(-6)). Are p and m equal?
False
Suppose 11*t = 18*t - 14. Let m be 384/72*9/44. Which is greater: t or m?
t
Let r = -14476 - -14434. Is -23 bigger than r?
True
Let q = 6399.1 + -6399. Which is bigger: 1/592 or q?
q
Let w = -8841.65 - -8838. Does 0.1 = w?
False
Let z = 11143 + -11148. Is z <= -2/79?
True
Let d(j) = -34*j**2 + 4*j + 2. Let a be d(3). Let f = a + 294. Are 5 and f nonequal?
True
Suppose 24*a - 5*z = 28*a + 3818, 5*a + 2*z = -4747. Is -946 smaller than a?
False
Let s = 2849 - 2850. Let v be (-36)/234 - (-74)/(-26). Let d be -6 - v - 5/(-3). Is s < d?
False
Let p(m) = -m - 2. Let b be p(-4). Let x be (1 + 1/b)/(522/696). Which is smaller: x or 4/5?
4/5
Suppose k - u - 3261 = 6*k, -3*k = 3*u + 1959. Let c = k + 693. Is 40 less than c?
True
Let z = -69 - -69. Let k = -6181/3 + 2057. Is z at least as big as k?
True
Let i be 51/(-1666)*(4 + (-244)/84). Which is greater: i or 1?
1
Suppose -86 = -4*p + 2. Let g = p + -23. Let x = 0 - 4. Is g less than x?
False
Suppose -8*v + 16*v = 160. Suppose -27*p + v*p = 7. Is -1/369 <= p?
False
Let z(b) = -b**2 + b - 8. Let m be z(0). Let y be -3*(-1)/(-3)*m. Let w = y + -15/2. Which is bigger: 2 or w?
2
Let g = 313/227 + -138515/107371. Which is bigger: 1 or g?
1
Let v = -56 - -65. Suppose -z = -1, v = 2*i - i + 4*z. Suppose 2*j - i*n = 11, 4*j - 2*n = -3*n + 11. Is j less than or equal to -5?
False
Let s be ((-12328)/(-115))/((-2)/(-5)). Let g = 693 - 426. Which is smaller: g or s?
g
Let a = 5618.14 - 5618. Which is smaller: 59 or a?
a
Let g = -804 + 54. Let t = g + 749.73. Do t and 0.04 have different values?
True
Let d = 0.00156 - -0.19844. Let j = -4 + 6. Let f = j - 2.04. Are f and d nonequal?
True
Let d = 2155.7 + -2158. Is 0.41 less than d?
False
Suppose 5*h = 3*l - 9458, 374*h = 370*h - l - 7580. Which is smaller: -1895 or h?
-1895
Suppose -s - s - x - 3 = 0, 0 = -2*s - 3*x - 5. Let h be 6/(-12)*(s + 4 + -1). Is -1/161 less than h?
False
Suppose -2*z + 183 = u, 2*z - 252 = -2*u + 112. Which is smaller: u or 173?
173
Suppose 0 = -24*g - 3*g + 891. Let s be 3/(-3) + g/9 + -3. Which is smaller: 303 or s?
s
Let f be 15/(-25) - (-2214)/3090. Let r = -1787/309 + f. Is -6 at least as big as r?
False
Let x be 1439/3*7/(-6). Let c = 560 + x. Let n = c - 1/18. Which is smaller: n or -1?
-1
Suppose 4*g = -g - 7705. Let i = g - -919. Let x = i + 13681/22. Is -1 greater than x?
False
Suppose s - 60 = 2*t, -5*s + 339 + 31 = 4*t. Does 71 = s?
False
Let c(z) = -7*z**2 + 99*z + 426. Let n be c(-17). Are n and -3281 nonequal?
True
Let f(m) = -6*m + 58. Let r be f(7). Suppose 15*h - 23*h = r. Do -1.3 and h have different values?
True
Suppose 5*k + 4*b + 303 + 449 = 0, -328 = 2*k + 5*b. Are -96 and k unequal?
True
Let x be (-19 + 3067)*(-20)/110. Is -555 greater than or equal to x?
False
Let p(k) = 4 + k - 23 - 2*k**3 + 9*k**2 + k**3. Let l(x) = 2*x**3 - 2*x**2 - 2*x + 4. Let o be l(2). Let q be p(o). Is q > 53?
False
Let r be (35/15)/(231/99). Do -15/421 and r have the same value?
False
Suppose o - 330 = 5*z, z + 5*o + 45 - 5 = 0. Let p = z - -64. Which is bigger: p or -0.086?
-0.086
Suppose 0 = 44*r - 13*r - 13888. Suppose 92*u + r = 100*u. Is u at least 52?
True
Suppose 2*t - 4 = 0, l + 0*l - 4*t = 52. Suppose 5*k = 9*k + l. Let c be k + ((-4)/1 - 0). Is -21 >= c?
False
Suppose 3*f - 106 = 2*g, -g - 79 = -4*f - 31. Which is smaller: g or -86?
-86
Let l(x) = -x**3 - 4*x**2 + 16*x + 2. Let u be l(4). Let w = -206 - -145. Which is bigger: u or w?
w
Suppose 2*d + 20 = 3*g, -g - 4*g - 2*d = -28. Let c = 0.0149 + 0.1951. Is c at least g?
False
Suppose 0 = 11*s - 12*s + 9. Let p(j) = -j**2 + 9*j - 13. Let h be p(s). Let k be (1 + 0)/(h + 2). Which is smaller: 1 or k?
k
Let i = -248 + 348. Let c be 30/(-25)*i/(-28). Is c less than 4?
False
Suppose 3*g - 2*s - 254 = 0, -4*g + 5*s = -9*g + 465. Let l = g + -82. Let y be l/20 - (3/6)/(-1). Is y bigger than -1?
True
Let s = 28409/19 + -1496. Let q = -1264 + 1263. Which is smaller: s or q?
q
Suppose 37*t - 31*t = 293*t - 53382. Is 168 <= t?
True
Let a = -7 + 10. Let q = a - 5.4. Let z = q - -2.2. Which is smaller: z or -0.03?
z
Suppose 0 = -4*t + 4*c - 1360, 0 = -5*t + 10*t + c + 1688. Which is greater: -337 or t?
-337
Suppose -42*b = -239 + 23 - 36. Which is bigger: -0.32 or b?
b
Let h = 15771/38 + -415. Let l = h - 193/114. Let t = 507 - 506.9. Which is smaller: l or t?
l
Let q = 968 + -968. Do 35/123 and q have the same value?
False
Let x = 8496 - 8608. Is 3 greater than or equal to x?
True
Let y be (-44 - -43)*(-535)/1. Is 530 <= y?
True
Let d(o) = 4*o**2 - 148*o + 407. Let y be d(34). Which is greater: -1/10029 or y?
-1/10029
Suppose 1495 - 415 = -8*x. Is -1337/10 smaller than x?
False
Let b = -1/2875 + -235743/20125. Is b greater than -9?
False
Let p = -0.03633 + 4.33633. Which is smaller: 13 or p?
p
Let i be -9 + 9 - 3