-11*s = -l*s - 1240. Suppose 2*x - 7*x - s = 0. Which is bigger: -32 or x?
x
Let j(y) = -347*y - 316. Let i be j(-4). Let r be i/(-6800) + (-2)/(-17). Is 0 greater than r?
True
Let z(v) = v**2 + 33*v + 41. Let l be z(-31). Let i be l/49*(-15)/9. Is i at least 1?
False
Let y(j) = -j**2 - 24*j - 75. Let w be y(-4). Suppose w*f - 157 = 173. Which is greater: f or -2?
f
Let q = 56 + -60. Let j be 2 + 10/(-5) + q. Let c be 421/9 + (-38)/(-9) + j. Is 46 greater than or equal to c?
False
Let b(f) = 17*f**2 + 180*f - 25. Let v be b(10). Which is smaller: 3476 or v?
v
Let i be (7/(-3))/(53/159) - 23786/(-3402). Let w = -5 + 8. Which is smaller: i or w?
i
Let j be (-1519973)/(-260) - (-18)/(-360). Do 0.2 and j have the same value?
False
Let c(a) = -10080*a**3 - 4*a**2 + 19*a - 17. Let i be c(1). Is 0.1 at least as big as i?
True
Suppose 5*z - 1875 = g, 8*z = 3*z - 2*g + 1860. Let x be ((-17)/z)/(7/107). Let r = x + 10/11. Is 0 != r?
True
Let c be 2*2*(-4 + 652/16). Suppose k + 2*k = -c. Let i = 44 + k. Do -8 and i have different values?
True
Let q be (3080/168)/((-196)/72 + 3). Which is greater: q or 56?
q
Suppose -25 = 3*v - 2*v - 5*j, 0 = -4*v - 2*j + 10. Let d be v/9 - (-1)/(-107)*1. Let i = d + 221/749. Which is greater: i or 0?
i
Let g = -28154/9 + 3128. Let l = -1267 - -8884/7. Is g != l?
True
Let w(o) = 13*o**2 + 7*o + 8. Let r be w(-3). Let c = r - 114. Let a be ((-12)/c)/((-519)/30 + 8). Which is greater: 1 or a?
1
Let p be -28*(-291)/97*2/14*4. Suppose -5*w - 4*g = -65, -2*g + 50 = 5*w - g. Let v be (-3)/w - 145/(-3). Is v at most as big as p?
True
Suppose -i - 25 = 52. Let o = -950819/12138 + 3/4046. Which is greater: i or o?
i
Let j be (0 + 3/(-12))*(-4)/4. Let y be (3 - 2 - 3)/(28/14). Which is smaller: y or j?
y
Let t be (715/(-3) - -6) + 4. Which is smaller: t or -229?
-229
Let p be 6/225 + (-544)/5400. Are p and 76 unequal?
True
Let i be (-66)/((-93)/12 - -7). Let j be 86*2/(0 + 2). Is j equal to i?
False
Suppose -136*d = -152*d - 192. Let j be 52/d*4*3. Is -56 at least j?
False
Let y be ((-2)/5)/((-10)/250). Let n be 2/y*2 + 663/(-1020). Let r = 2569/9 + -285. Is n greater than or equal to r?
False
Suppose 0*c - 32 = -4*c - 4*y, 0 = 2*c - 2*y. Suppose 3*h - h + 4*i - 388 = 0, -12 = -c*i. Is h less than or equal to 188?
True
Let o = -381 - -382. Let c be (-3 - (1 - 3))*o. Is c less than or equal to -81?
False
Let a be (12/(-30))/(3/(-720)). Let m = a + -286/3. Which is bigger: m or 122?
122
Suppose -2*j = 8*r - 3*r + 18, -17 = -5*j + 3*r. Let a be ((-8)/(-36))/((-240)/(-9) - 3). Are a and j unequal?
True
Let g be (3 + -3 + (106 - 5))/(-3). Let p = g - -103/3. Is 93/5 less than or equal to p?
False
Let p = 1222/255 - -20321/765. Let u = 144/5 - p. Which is smaller: u or -3?
-3
Let a = -12710 - -12714. Which is bigger: a or -121.6?
a
Let n = -0.07678 + 0.07678. Is 5012 smaller than n?
False
Suppose 105 + 131 = -4*h. Let x = 57 + h. Let n be 0 - ((-16)/28)/x. Which is smaller: -12 or n?
-12
Let h be (-4)/(-14) + 174/(-21). Let v be -16 - (18 - (-6 - -43)). Which is smaller: h or v?
h
Suppose 4*j - 2492 = 64*d - 60*d, -5*j + 3123 = 3*d. Do j and 622 have the same value?
False
Let m = -4189 + -170. Is m at most as big as -4360?
False
Suppose 10 = 4*o - n, -4*o - 5*n - 2 + 0 = 0. Let i = 2556.02 + -2548.02. Is i at least as big as o?
True
Let x = 5 - 5.2. Let q = 1751 - 7085/4. Let o = q + 21. Which is greater: o or x?
o
Suppose -337 = -6*l + 2273. Let t = l + -375. Which is smaller: 62 or t?
t
Let b = 20 + -8. Let k = 9778 + -9777.94. Which is smaller: k or b?
k
Let q = 32528 + -32197. Is q greater than 303?
True
Let n = 10089 + -20579. Is -10490 at least as big as n?
True
Suppose -2 = -4*k + 2*k. Let p = 10.89617 + -10.33117. Which is smaller: k or p?
p
Suppose -4*f = 2*a - 2 - 2, 0 = -4*a + f - 37. Let u be 3 + (-19 - 1) - -8. Which is smaller: a or u?
u
Let j be 4/(-34) + (-2)/1*(-6555)/170. Do 3 and j have the same value?
False
Let o(k) = k**2. Suppose 0 = -12*q + 13*q - 2. Let l be o(q). Let z be 2/(-4)*6/(-1). Is l != z?
True
Let s be 3/((-15)/8) - 38590/(-24650). Which is bigger: s or 20?
20
Let n = 296286 + -12444667/42. Let z = n + 1103591/70770. Which is bigger: z or 0?
0
Let l = 45 + -46. Let q = 16/533 + -8534/35711. Do l and q have different values?
True
Suppose 71*u - 182*u + 37 = -74*u. Which is bigger: u or 67/144?
u
Suppose 9*f + 24 = 24. Suppose -3*m = -f*m + 4*o - 109, -2*m = -3*o - 50. Which is smaller: -5 or m?
-5
Suppose 4*m + 20 = 5*c, 2*c + 485 = 2*m + 495. Let v be 1/(75/(-73)) - -1. Is v >= c?
True
Let j be (97/(-4))/((-2)/(-24)*-3). Let u = j - 95. Let h be 2*14*u/(-12). Which is smaller: h or -5?
-5
Let q be -11*1 - (-6328)/560. Let c be 2/(1/((-3)/(-6))). Suppose i + c = 2. Is q < i?
True
Let f = 446439/22 + -20302. Which is greater: -9 or f?
-9
Let t(y) = 78*y + 20. Let b be t(9). Let z = b + -1058. Let k be 2/(z/30) + (-2)/8. Which is smaller: k or -3/5?
-3/5
Let j be (-4)/6*(-7 - -10). Let g be 8/j - 318/(-6). Let q = g + -50. Is -1/2 less than q?
False
Let h be (-632)/(-24) + 6/9. Suppose -h*x = -7*x + 20. Suppose 0 = 3*j - 4*m - 94, 5*j - m = 2*m + 164. Which is greater: x or j?
j
Let f = -1750 - -580. Let c = f + 127528/109. Which is greater: c or 1?
1
Let f be 5*3*(8 - (-175196)/(-21910)). Is f <= 0?
False
Suppose -236*r + 8155 = -8601. Let s = -2.02 - -0.02. Are r and s nonequal?
True
Let v(u) = 43*u - 859. Let w be v(20). Is w != -1837?
True
Let r be (-1)/(-21) - (-38)/57. Let y be 3/(12/32*4). Suppose 0 = -3*g + 3*n + 18, 2 + 4 = -g - y*n. Which is greater: g or r?
g
Suppose -2*d - 1981 = 5*r, r - d = d - 389. Let t = 12247/31 + r. Suppose 3*g = 2*w - 5 - 1, 2*g + 12 = 4*w. Is g at most as big as t?
True
Suppose q + z + 366 = -2*q, 4*z + 617 = -5*q. Let i = q + 73. Let n = -48 - i. Which is greater: 4/13 or n?
4/13
Let s = -73/42 - 111/14. Let v be 0 + 2 + 10*1. Suppose u = 3 - v. Is s bigger than u?
False
Let p = 56838804 + -5968438459/105. Let s = p - -3467. Is s at least as big as 1?
False
Let a = 11 - -15. Let l be 12/16*a/6. Let n(w) = -w**3 + 7*w**2 + w - 5. Let q be n(7). Which is smaller: q or l?
q
Let z be (212/12)/(((-7)/3)/7). Let r = -105 + 55. Let m = r - z. Is m != 0.2?
True
Let k = -3078 + 3064. Which is smaller: 103 or k?
k
Let d be 1 + (12 + -14)*123/(-2). Let x = d - 125. Is -33 less than x?
True
Let h = 573/7 - 82. Suppose 4*t = 5*v - 2*t - 219, -2*t = -v + 47. Let s be 2*(6 - v/6). Is s > h?
False
Suppose 8*o + 687 = 231. Suppose -2*t - 76 = 5*k + 227, 3*k + 5*t + 197 = 0. Which is greater: k or o?
o
Let w(r) = 2*r**3 - 51*r**2 + 36*r + 68. Let y be w(22). Which is smaller: -2530 or y?
-2530
Let v be (-8)/40*-3563 - 6. Let t = v - 707. Are 0.05 and t equal?
False
Let b = -4787/945 - -88/189. Do 1/56 and b have the same value?
False
Let h(g) = -27*g - 1568. Let r be h(-56). Let a be (-210)/4 - (-2)/(-2). Let k = a - r. Which is smaller: 2 or k?
2
Let w = -57484 + 57467. Let a(k) = -k + 72. Let m be a(0). Suppose -m + 24 = 3*i. Which is smaller: i or w?
w
Let g be (3*-1)/(-14 - (-807)/57). Is g at least as big as -373/20?
False
Let b be (4*3/(-8))/((-6)/56). Suppose 0 = -b*s + 8*s - 78. Is s greater than or equal to -0.1?
False
Let n = 5 + 9. Let l be (-4428)/(-336) - (-2 + (-34)/(-14)). Is n at least l?
True
Let g(p) = -p - 6. Let y be g(-7). Let t = -653550/127 + 5146. Is t greater than y?
False
Let g(f) = 29 + 2*f**2 + 7*f**2 + 14*f + 4*f**2 - 12*f**2. Let c be g(-7). Is -20 greater than c?
False
Suppose -4*l - 1105 = 9*l. Let r = l - -86. Let v be (5 - 26)/(-7) + -5*r. Which is greater: v or 3?
3
Suppose 2*m + 2*f - 166 = -0*m, -5*m - 3*f + 423 = 0. Let h = -83 + m. Let l(i) = -i**3 + 4*i**2 - 2*i + 13. Let w be l(h). Is 35/9 at least as big as w?
False
Let o be ((-87)/30)/(2/4). Suppose 0 = -6*g + 19*g - 26. Suppose 5*z = k + 4*k + 15, 0 = g*k + z + 15. Is o smaller than k?
False
Suppose 4*y + 8*b - 2 = 3*b, 4*y - 4*b = -16. Let o be -4*5/(-4) - y. Suppose 19 = -4*z - t, o*t = -3*z + 2*t - 10. Is z at most as big as -3?
True
Suppose 298*r + 40*r + 14453 = -4137. Suppose 2*o + o = 3*m + 162, 3*m = -5*o - 178. Is m less than r?
True
Let v = 19686 + -19686. Which is greater: 3/5321 or v?
3/5321
Let f be ((-8)/14 + 2132/4368)*-4. Is -9.86 <= f?
True
Let c be (10/80)/((-10)/(-1040)