 u = r + 244/4515. Which is greater: u or -1?
u
Let n = -700 - 28. Let m = -2101/3 - n. Is m at most 29?
True
Let k be (-207)/(-4) - (-18)/72. Let a be 372/k - 7 - (-37)/(-494). Let r = 973/190 + a. Is r < -2/5?
False
Let f = -113 + 124. Let y = f - 10.9. Does -1/10 = y?
False
Let t be -371*((-3)/(252/296) + (-2)/(-3)). Is 1058 < t?
True
Let x = 108 + -116. Let t be (-166)/4*x + -2. Suppose -5*y = 5*a + t, 4*y + 260 = -a - 2*a. Do y and -62 have different values?
False
Let f = -69 + 68.929. Let z = -55.429 - -55.2. Let m = z + f. Which is bigger: m or 2/9?
2/9
Let f be (-24212)/168 + (-1)/6. Let u = 144 + f. Let d = 0.38 - -0.02. Which is smaller: u or d?
u
Suppose 0 = 31*g - 16*g + 180. Suppose 0*x - 2*x = -120. Let a be 1/((-2)/x*2). Which is smaller: g or a?
a
Suppose 5*p + 43 = -4*z, 0*z = -3*z - 2*p - 34. Let b be 7 + (-18669)/2996 + 9/z. Is 1 less than b?
False
Let a(t) = t**2 - 10*t - 26. Let u be a(-13). Suppose -3*m + u = 10*m. Let c be m/(-105) + 8/(-10). Is 2/137 equal to c?
False
Let t(k) = -4*k**3 + k**2 - 4*k - 4. Let s be t(-2). Let f = s + -12. Let n be (-2 + f/15)/(6/(-18)). Which is bigger: 1 or n?
1
Let l(n) = -n**3 - 47*n**2 - 10*n + 154. Let j be l(-48). Is j < 2938?
False
Suppose -g + 45 = -0*g. Let m = 303 - 256. Let l = g - m. Which is greater: l or -1?
-1
Let p = -70 - -123. Let n = p - 16. Let a = 36.77 - n. Which is smaller: a or -0.1?
a
Suppose 41200 = -23*b - 17*b. Which is greater: -1031 or b?
b
Let a be -80 - 14/3*273/182. Is -101 bigger than a?
False
Let u be (-343)/1260 - 5/(-25). Which is smaller: u or 1?
u
Suppose -5*g - 813 = 4*x, -7*x + 4*x = 3*g + 609. Let f = x + 346. Which is greater: 142 or f?
f
Let x = 3980 + -5227. Which is smaller: x or -1249?
-1249
Let w = 405 - 450. Let p(m) = -5*m**2 - 2*m + 2. Let j be p(-3). Let s = j - w. Does s = 8?
True
Suppose d = 3*g + 10 + 78, 4*g = d - 92. Let k(n) = -n**3 - 26*n**2 - 47*n + 100. Let c be k(-24). Does c = d?
True
Let j(a) = -a**3 + a - 34. Let c be 26/(-65) - (-2)/5. Let y be j(c). Let z be ((-1)/2 + 98/84)*-1. Which is bigger: z or y?
z
Let w be (-16209)/(-13) + (-112)/(-728). Suppose -1263 = -2*s - w. Which is smaller: s or -1.8?
-1.8
Let g = -2468.2 - -2117. Let b = 351 + g. Let p = -6 + 15. Which is smaller: p or b?
b
Suppose -3*c - 15*q + 17*q = 132, -4*c - 176 = -q. Is -48 at least as big as c?
False
Let r = 0.12 + -0.42. Let b = 6.97 + -3.6. Let w = -1.37 + b. Which is smaller: w or r?
r
Let v = 29.51 + -0.51. Let n = v + -27. Let o = 21 + -20. Do n and o have the same value?
False
Let f be ((-4)/10)/((-68)/9180). Suppose 0 = 58*u - f*u - 156. Which is smaller: u or 35?
35
Let w be (-4 + 9)*(-2 - (-26)/10). Let t(p) = -3*p**2 + 2*p + 7. Let g be t(w). Let s be g/63*(5 + 1). Which is smaller: -1 or s?
s
Suppose -35*g = 38*g + 28*g + 303. Is g bigger than -149/99?
False
Suppose 3*q = 70 - 10. Let w = q - 16. Let u be (-2)/((-40)/(-85)) + w. Is u smaller than -2/5?
False
Let x = -0.7 - -0.6. Suppose 141*j + 5601 - 1931 = -4508. Is j smaller than x?
True
Suppose l = -5*x + 22, -3*l = -7*l + 3*x - 4. Suppose 3*b + u = -l*b + 128, 78 = 3*b + u. Suppose 0 = b*a - 26*a + 3. Which is bigger: a or 24/7?
24/7
Let t = -29047 + 24246. Which is smaller: t or -0.2?
t
Let u = -10 + 16. Suppose -5*m = w - 29, -2*m - 22 = -5*w + 3*w. Let d = w - 12. Are u and d non-equal?
True
Suppose -3*m + q - 10327 = 0, q - 4362 = 2*m + 2522. Is m less than -3442?
True
Let x = 3841 + -3776. Which is smaller: 32 or x?
32
Let w = -582 - -583. Is w less than 2/361?
False
Suppose -2*w = -3*d + 58 + 8, -2*w + 4*d = 66. Let n(p) = -p**3 - 14*p**2 - 23*p + 99. Let o be n(-15). Let y = o + -701. Is y greater than w?
True
Let n be 0*(-11 + (-315)/(-28)). Which is greater: n or 2/7809?
2/7809
Suppose 5*l + 3*r - 566 = 0, 7*l - 4*r - 440 = 3*l. Which is smaller: 119 or l?
l
Suppose 16*d - 20*d = -5*i + 24, 7*d = -3*i + 5. Does d = 4/1719?
False
Suppose 5*y - 5*k = -1615, 22*k - 968 = 3*y + 18*k. Let h = y - -323. Which is greater: h or -8/59?
-8/59
Suppose f - 3*f = -10. Let v = 495.39 + -500. Let d = -0.39 + v. Which is bigger: d or f?
f
Let i = 0.2 - -0.3. Let l = 4.765 + -0.165. Let s = l + -3.9. Are i and s non-equal?
True
Let j = 84 + -84. Let u be (-19 - -7)/((-2)/37). Let n be (4/u)/((-2)/(-9)). Which is smaller: n or j?
j
Suppose 5*y + 0*y + 2*o - 3927 = 0, 3921 = 5*y - 4*o. Let j = 785 - y. Is j less than or equal to 3/14?
True
Let i be (18/(-4) - -5)*(-8)/(-1). Suppose 0 = i*h - 16, 0 = k + 2*k - 3*h + 168. Which is bigger: -51 or k?
-51
Suppose -14*j + 3*g = -9*j + 3157, -2*j = -5*g + 1259. Let w = j - -70785/112. Do -2 and w have the same value?
False
Suppose 2*i = 0, 3*t + 3*i - i - 15 = 0. Suppose 4*v - 8*p = -7*p - 146, t*v + 182 = p. Let s = -197/9 - -65/3. Which is smaller: s or v?
v
Suppose 0 = -3*l - 6*l + 180. Suppose l*w + 10*w = 1260. Is w greater than 42?
False
Let b = 1/99381 - 519862016/496905. Which is smaller: b or -1045?
b
Let j be (-1)/(3/4298)*(-933)/(-1244). Which is greater: j or 2?
2
Let i = -264 - -261. Let q be (20/(-132))/(-5)*i/17. Which is smaller: 1 or q?
q
Let j be 45/60*(-88)/(-297). Let b = 16.5 + -19.7. Which is bigger: j or b?
j
Let u = 231 + -407. Let a = 169 + u. Is a at most -10/7?
True
Let k be (-2)/(-12)*15080/(-174). Is 2 at least as big as k?
True
Let y be -2 + (-460)/(-1380)*(-118)/(2/1). Is -2 bigger than y?
True
Suppose 36*r + 729 = 225. Let j(w) = w + 6. Let k be j(-2). Suppose -k*m + 11 = 55. Are m and r equal?
False
Let q = -2167/89076 + -3/2284. Is q at least as big as -107?
True
Let k(f) = f**3 + 2*f**2 - 4*f - 1. Let a be k(-3). Suppose 2*u = -a*u - 8, 560 = 3*q - 4*u. Suppose 5*d + q = 9. Is d greater than or equal to -35?
True
Suppose 5*i - 6 + 36 = 0. Let o be (-1 - 6/(-8))*i. Let j = 85245 - 85242. Is o bigger than j?
False
Let n be (-181)/1086 - (-995)/5916. Which is smaller: 0 or n?
0
Let l = -9 - 7. Let j = l - -18. Suppose j*c - c = 2*c. Is 6/7 less than or equal to c?
False
Let g(v) = -v**3 + 19*v**2 + 9*v + 46. Let h be g(10). Which is smaller: 1 or h?
1
Suppose 55 = 15*s - 200. Let f(i) = 4*i**2 - 69*i - 23. Let y be f(s). Is y > -116/3?
False
Let i be (-10)/(-20)*(5 - 5). Let g be (0 - i)/(-7 - (-1 + -8)). Are 1/1014 and g non-equal?
True
Let u = 275 - 125. Let w = -142 + u. Which is smaller: w or -2/13?
-2/13
Let h be -9*(154/(-33) + 5). Are -1.651 and h non-equal?
True
Let w = -3570 + 3625. Is w less than 13?
False
Let r = 262 + -102. Suppose 5*w - r - 30 = 0. Is w at least 39?
False
Let h = -8 + 9. Let n(o) = 6*o - 1. Let l be n(h). Suppose 4*q - 2*q + 80 = -5*y, -y = -l*q + 16. Which is smaller: -14 or y?
y
Let v = 9372 + -1573. Which is bigger: v or 7801?
7801
Let q be (-14226)/6*((-56)/(-63) - 1/(-9)). Which is greater: -2376 or q?
q
Let c = -10558 + 10781. Let u = 0.05 + -0.15. Which is bigger: c or u?
c
Let s be (5 - (-204)/(-18)) + (400/30 - 15). Let b = -8 + 5. Which is smaller: b or s?
s
Suppose 13*g + 0 = -13 - 0. Does g = -8/73?
False
Let k be (3/(-24) - 0)*1. Let a = -5/24 + k. Which is smaller: a or -4/111?
a
Let t be 26/104*(-2 - (8519 - -3)). Is t bigger than -2131?
False
Let i be 648/(-2121) + ((-12)/9)/(210/(-45)). Which is greater: 0 or i?
0
Let b(h) = -4*h + 1. Let i be b(2). Let k be 728/21*27/12. Let d be (k/130)/((-1)/11). Which is greater: i or d?
d
Suppose 10*d + 835 = -1525. Which is smaller: -234 or d?
d
Suppose 4*z + 2714 = -5*v, -91 - 1009 = 2*v - 2*z. Let j be ((-474)/v - 6) + 5. Is -1 bigger than j?
False
Suppose 191912 = 7146*c - 7118*c. Which is greater: 6855 or c?
6855
Let l = 24604 + -26737. Is -2139 smaller than l?
True
Let b = -0.01719 - 0.98281. Which is bigger: b or 126/31?
126/31
Let f(i) = 15*i + 71. Let d be f(6). Let g = 166 - d. Suppose -8 = -4*y + n - 0*n, -2*n = 4*y + 4. Which is smaller: y or g?
y
Let g be (-68)/1071*21/6. Is g less than or equal to -6?
False
Let b(d) = -d**3 + 72*d**2 + 3*d - 217. Let k be b(72). Which is smaller: k or 6/6535?
k
Let x = -244 + 498. Let i be (-5)/x*14/(-35). Is i less than 1?
True
Suppose -3*u = -2 + 5. Suppose -x - 58 = 5*s, -37 = x + s + 33. Let b = x - -658/9. Which is greater: b or u?
b
Suppose 0 = -5*w, 3*w + 2 = 2*k + 16. Suppose -665*t - 26 = -663*t. Which is greater: t or k?
k
Suppose 5*o = 7*o + t - 11, -12 = o - 3*t. Let g(f