. Is n less than x?
True
Suppose -r + 308 = -3*i, 12*i - 3*r = 15*i + 324. Which is bigger: -142 or i?
i
Let z = 725 - 766.7. Let t = z + 49. Let r = 4.5 - t. Is 0.1 smaller than r?
False
Let y = -508213/497 - -7160/7. Is y at most as big as -0.1?
False
Let u = -9/4454 + 190440/15589. Which is smaller: 11 or u?
11
Suppose 2*d + 2*q = 1468 - 772, -2*q + 351 = d. Is d > 330?
True
Suppose f + 5*n = -1000, -22*f - 2066 = -20*f + 21*n. Which is smaller: -973 or f?
-973
Suppose 0 = 4*a - 27 - 9. Let u = a + -40. Which is greater: u or -29?
-29
Let p = 18140 + -19978. Is p less than 1?
True
Suppose 2*c - 8 = 0, -3*p - 135*c + 138*c = 273. Is p != -107?
True
Let k = -3169/39 - 172/39. Let q = -82 - k. Suppose 33*r - 18 = 27*r. Which is greater: r or q?
q
Let h(p) = -4*p**2 + 1156*p + 4663. Let t be h(-4). Let u = -34 + 3. Which is greater: t or u?
t
Let q = -30 + 70. Suppose -q*x = -43*x + 6. Suppose 38 = x*j + 36. Which is greater: j or 8?
8
Let u = -31016 + 34093. Is 3078 > u?
True
Suppose 4*c = -0*c - 3*h + 20, -2*h = 0. Let a be 43/9 - (-4 + 136/36). Suppose 5*j - 4*n + a = 0, 3*n = -j + c*n - 1. Which is smaller: j or 2/35?
j
Let d be (-10)/60*-30*((-84)/(-20) + -3). Is d <= 11?
True
Suppose 41 - 326 - 287 = -26*z. Which is bigger: z or 26?
26
Let u = -0.307 + 0.107. Suppose 0 = 5*f - 4*w + 1400, -3*f = 5*w + 504 + 299. Is f at most u?
True
Suppose 5*x - 2*u - 100 = -u, 20 = -4*u. Suppose -2*k = -x - 21. Suppose 0 = -45*z + 43*z - k. Is z less than -7?
True
Let g be 2919/(-297) + (2 - 2). Let u = g - -86/9. Let d be (-4)/(8/(-2)) - (-4 - -5). Are u and d equal?
False
Let k(r) = 2*r**2 - 110*r + 499. Let q be k(5). Does -29/571 = q?
False
Let f be (416/20)/(2 - 22/10). Let g = 104 + f. Suppose g = -10*j + 3*j. Which is bigger: -1/51 or j?
j
Let v be 36/72 + (-4725)/18. Does -286 = v?
False
Let h = -27.148 + 27.048. Is 12682 at most as big as h?
False
Let i = -225 - -296. Let v = i + -71.005. Is 1 less than v?
False
Suppose -146*v - 27*v - 16326 - 109 = 0. Which is greater: v or -2/49?
-2/49
Let v be 818/(-58) + 44/((-132)/(-9)). Is v equal to -11?
False
Let k(o) = 13 - 24 - 5*o + 26 + 51. Let z be k(13). Is z smaller than -10/111?
False
Suppose -7*g - 2307 - 87 = 0. Let u = 379 + g. Do 10 and u have the same value?
False
Let l = -2219/8 + 11071/40. Is 0.1947 > l?
True
Let l = -0.0037 + -0.2273. Let h = 1.769 - l. Which is smaller: h or -0.22?
-0.22
Let v = -2814021/15530 - 3/3106. Let l = v + 181. Which is smaller: l or -0.3?
-0.3
Let o be (-3471)/(-7) + 177/1239. Which is smaller: o or 498?
o
Suppose -13*m = -12033 + 18520. Which is bigger: m or -501?
m
Let w = 20665/4 + -5161. Let n = -1.042 - -0.042. Is n at most w?
True
Suppose -104 = 2*t - 2*u - 40, -3*u - 54 = 2*t. Let d be ((-24)/10 - -2)/(20370/1593225). Which is smaller: t or d?
d
Let p = -56/471 - -5359/9420. Which is smaller: p or -1?
-1
Let f(t) be the third derivative of 2*t**4/3 + 49*t**3/6 + 2*t**2 - t. Let a be f(-3). Which is smaller: 2/133 or a?
2/133
Let x = 32.9776 - -0.0224. Let n = -14 + x. Which is greater: -1.7 or n?
n
Let p be 1071/(-945) - 4/(-30). Does 4/959 = p?
False
Let y be (-28200)/7052 - (19 - 23). Is 0 smaller than y?
True
Let l = 336 - 341.7. Let v = l + 5.6. Is -0.112 at most as big as v?
True
Let t = 169 - 160. Let r be (55/33)/(3/t). Is r at most as big as 6?
True
Let h = 3008 + -8888/3. Let y = 45 - h. Are -18/11 and y non-equal?
True
Suppose -29 = -4*i + 5*g - 150, -4*i = -2*g + 142. Suppose 0 = 3*z + 49 + 65. Is z greater than i?
True
Suppose -y + 4 = -3*u - 2, -3*u - 3 = 0. Suppose -y*s = -7*s. Let f = -26.8 - -25.8. Is f greater than or equal to s?
False
Suppose 0*t + 4*t = -5*t - 18. Which is smaller: -5 or t?
-5
Let a be (0 + ((-1001)/(-14))/(-11))*(-1 - 47). Which is bigger: a or 320?
320
Let z(c) = -c**2 + 40. Let h be z(0). Let x = -24 + h. Which is bigger: x or 1?
x
Suppose -8 + 0 = -4*d. Let n(x) = -x + 59*x**2 - 4*x - 60*x**d - 2*x - 15. Let j be n(-6). Is j at least as big as -7?
False
Let m = 80 + -554/7. Which is smaller: 62/9 or m?
m
Let c = -24 - -23. Let a = -977 + 24419/25. Which is smaller: a or c?
c
Let c = 4575 + -4575. Is -5/246 equal to c?
False
Let z = 6332/3 + -842158/399. Is -5 != z?
True
Let z be -5391 - 3/9*-9. Are -5387 and z nonequal?
True
Let y(x) = -x**2 + 9*x + 275. Let t be y(-12). Is t <= -31?
False
Let z = 1.39 + -38.39. Let h = z - -63. Are -0.3 and h unequal?
True
Let j = 17.084 + -5.684. Is 6 smaller than j?
True
Suppose 2 + 12 = b. Let u = -486 - -690. Let d = u + -206. Is d smaller than b?
True
Let c be (-273)/(-156) + (-15252)/(-16). Which is smaller: 939 or c?
939
Let a(c) = 5*c + 49. Let f be a(-10). Let k be f/((-2)/11 + 279/1353). Let u = -54 - k. Is u > -3?
False
Let k be (35/2025)/(-5 - 324/(-60)). Which is bigger: 0 or k?
k
Let j be 4*1 - 1/1*0. Suppose 3 = -2*k - 5, -j*v - 7192 = 2*k. Let h = -16138/9 - v. Are h and 4 nonequal?
True
Let o(w) = -272*w + 4543. Let m be o(76). Which is greater: m or -16130?
m
Let h(w) = -17*w + 12. Let o be h(-13). Let b = o + -2561/11. Let y = 312 + -313. Which is smaller: y or b?
y
Suppose 3*b - 2 = -2*k + k, 4*b = -3*k + 6. Suppose b = 3*l + 1 + 2. Let x = -315/8 + 11041/280. Which is smaller: x or l?
l
Let o = 496 + -449. Suppose 0 = -o*l + 24*l + 4899. Is l greater than or equal to 213?
True
Suppose 5*q = -629 + 569. Let p be q/102 + 10/85. Is p < 0?
False
Let p = 251.7 + -251.7. Let z = -23 + 5. Let d = -31 - z. Which is greater: p or d?
p
Let y(q) = q**3 + 18*q**2 + 16*q - 66. Let z be y(-19). Which is greater: -732 or z?
z
Let i be ((-4921)/(-114))/((-2)/(-8)). Let p = -170 + i. Suppose -5*c = -u + 3*u - 2, 0 = c + 4*u + 14. Which is smaller: p or c?
c
Let p = 2/1805 - 36114/12635. Let h(z) = -z**2 - 9*z - 6. Let y be h(-8). Suppose 4*m - 4 = -0*m + 4*a, -y*a = 10. Which is greater: p or m?
p
Let x = -152.39 - -135.3. Which is bigger: x or 0.1?
0.1
Suppose 3*c = -4*a - 14, -4*c + 27 = -3*a + 4. Let f be (36/(-30))/(2/a) - 1. Suppose 5 - 2 = -g + r, f*r - 12 = -4*g. Is 1 less than or equal to g?
True
Let v = 737 + -1066. Let a = -13 - -13.1. Is v at most as big as a?
True
Let s = 21.35 - 21.46. Which is smaller: -926 or s?
-926
Let q = 219.3 + -219.2. Suppose -v - 437 + 72 = 3*a, 4*v + 1432 = -5*a. Are q and v equal?
False
Suppose -3*q = -5*w + 9, 0 = 2*w + 4*q + 37 - 25. Suppose -2 = -2*x - 3*z, -x - 3*z + 8 = 2*z. Let a be (8/(-65))/(x/15). Is a bigger than w?
True
Let j = -10918 + 10503. Which is greater: j or -424?
j
Suppose -8 = -2*u - 30*w + 25*w, 14*w = -u + 27. Which is smaller: u or -17/318?
u
Suppose 0 = -2*d + 5*n + 22, -2*n + 0*n = 5*d - 26. Suppose -3*b = m - 21, -2*m + m = -5*b + 27. Do b and d have the same value?
True
Let w = 9551 - 38207/4. Suppose -3*c - 2*a + 50 = 0, 2*c - 2*a + 3*a - 34 = 0. Which is bigger: c or w?
c
Suppose -r = -3*m + 76, 5*m - r - 157 = -31. Let z = -7083 + 7082. Are z and m equal?
False
Let k = -73 + 53. Suppose 4*b = -4*d - 116, d + 18 + 15 = -3*b. Which is greater: k or d?
k
Let j = -17860 + 17851. Which is bigger: -69/8 or j?
-69/8
Let d(c) = c**2 + 3*c - 52. Let i be d(-10). Let h be (6/(-9))/((-3)/i*4). Let r be (594/63)/(h/7). Are r and 66 equal?
True
Suppose 4*a - 5*v = 26025, 2*a + 5*v - 17012 + 3947 = 0. Are a and 0.1 non-equal?
True
Suppose 3*q - 12002 = -14*q - 17*q. Does 3876/11 = q?
False
Let h be (-1 - (-2950)/2860)*12. Which is greater: h or -1?
h
Suppose -4*f = f - 20. Suppose -b = f*d + 2*b - 255, -2*b + 65 = d. Let w be (((-9)/(-3))/(-9))/((-1)/d). Which is greater: w or 20?
w
Let x = 55.0852 - 1.1482. Let t = x - -0.063. Let q = t + -56. Is 6 at most as big as q?
False
Let x = 333 + -648. Let m be (-4)/30 + 10353/x. Let c be (-435)/1113 + m/(-77). Which is smaller: 1 or c?
c
Let i be 57/(-342) + 1134542/876. Let d = i + -1295. Is d greater than or equal to -1?
True
Let p = 169 + -87. Suppose 0 = -n - 2*a - 3*a + p, 2*n - 5*a - 134 = 0. Let m be 64/n*12/(-2). Which is bigger: m or 0.1?
0.1
Let l = 160.258 + -146.68. Let z = l + -0.642. Let g = z + 0.064. Which is smaller: g or 1/2?
1/2
Let a(o) = 2*o + 19. Let t be a(-10). Let h be (t - 2/(-5))/((-42)/(-112)). Which is smaller: h or 10?
h
Let b = -11.8 - -11.806. Let c = b - -0.094. Which is greater: c or -180?
c
Let o(w) = -2*w**3 + 4*w**2 - 2*w. Let k be o