 q?
q
Let u = -2819/16132 - -15/148. Which is smaller: 0 or u?
u
Let a be 93/(-372)*(7/(-3) - -1). Which is bigger: a or -31.3?
a
Let s = 597/5 - 120. Let u = -1.9 - 8.1. Let n = u + 10. Is s >= n?
False
Let l = 17 - 11. Let y = l - -9. Let j = -15.08 + y. Is j not equal to -0.1?
True
Let t(j) = -j**2 - 5*j - 1. Let x be t(-2). Suppose -f = -4*c - 5*f - 20, -4*c = -x*f - 25. Suppose c = -g + 1. Is -1 smaller than g?
True
Suppose -10 = -2*p - 3*p. Suppose -1 = b - p*i - 3, 4*i + 8 = 0. Is -6/11 != b?
True
Let p = 1096.02 - 1096. Which is smaller: p or 3/8?
p
Let y = 3 + -4. Let p = 2246/13179 + 2/573. Are p and y unequal?
True
Let l = -267/670 + -5594243/7370. Suppose 0 = -i + 3*q - 748, -5*i + 0*i - q = 3804. Let k = l - i. Which is bigger: k or 0?
k
Let i be ((180/(-16))/5)/(153/6). Let z(d) = -d**2 - 2*d. Let t be z(-2). Is t at least as big as i?
True
Suppose 34*p = 15*p + 10260. Which is smaller: p or 1?
1
Let p = 119 - 63. Which is smaller: p or 55?
55
Let p(d) = d - 9. Suppose 14 = -25*j + 26*j. Let y be p(j). Which is smaller: y or 6?
y
Suppose -3*r - 48 = -2*r. Let w = -44 - r. Suppose 2*p + 1 - 5 = 0. Is w greater than p?
True
Let d be 12/(-30) + (-438)/(-345). Is 1 at most as big as d?
False
Let v be (1 + 0)*(-30)/(-18). Let g = -3 - -5. Which is smaller: g or v?
v
Let o be 8/(-12) - (-32)/21. Let x(l) = -13*l**2 - 13*l + 1. Let q be x(-1). Are o and q unequal?
True
Let o(p) = 7*p - 2. Let j be o(1). Suppose -j*f + 6 = -2*n - 6, 20 = 3*n + 2*f. Suppose n*s = 2*s + 6, 2*r - 49 = -5*s. Is 16 >= r?
False
Suppose -9*s = -8*s. Suppose s = g + 16 - 9. Which is bigger: -8 or g?
g
Suppose 15 = -6*z - 9*z. Which is smaller: z or 1/21?
z
Let p(k) = 0*k**2 - 2 + k + 10*k - k**2. Let j be p(7). Is 26 < j?
False
Suppose -5*u + 20 = 3*a, -4*a - 10 = 10. Suppose -8*y + u*y = 28. Let p be 27/(-18)*y/(-6). Which is smaller: p or -4?
p
Let n = -0.13 + 0.05. Let j = n + 0.14. Which is smaller: -2 or j?
-2
Let k(j) = -2*j - 26. Let w be k(-13). Suppose -n - 6 - 3 = w. Is n greater than or equal to 2/7?
False
Let y be 4/3 - 570/(-18). Let m = y + -21. Does m = 14?
False
Let h be (-2)/(4 - (-280)/(-68)). Let g = h + -13. Suppose -5*o = -2*w + g*w + 13, 0 = -3*w + 3*o + 12. Which is smaller: -6/5 or w?
-6/5
Let i(h) = -35*h - 135. Let k be i(-8). Is k at most 144?
False
Let u = 39 - -30. Suppose 2*n = 3*i + 36, 0 = n + 2*n + 3*i - u. Suppose -4*d = g - 6, g + 5*d - 5 = -3. Are g and n unequal?
True
Let d = 433/3 - 144. Which is smaller: -8/5 or d?
-8/5
Let g = -180 + 156. Which is smaller: 2.4 or g?
g
Let r be 1*(-2)/(-6)*0. Let n be 2 - (10/2 - r). Let a be -9 - ((-14)/4 - -2)*2. Which is greater: a or n?
n
Let r be (-2)/(-132)*-4*-3*993. Is 181 <= r?
False
Let n = 44/105 + 8/21. Is 11 at least as big as n?
True
Let g = 1320831/367 - 3599. Let l = -447/14680 - g. Which is smaller: l or -1?
-1
Let h be (-9 + 1248/18)*3. Is h at least 182?
False
Let l = -1656 - -1615. Which is smaller: 5/6 or l?
l
Let m = -76 - -76. Is -1/112 less than or equal to m?
True
Let c = -33 - -28. Let j(r) = -r**2 + 8*r + 4. Let n be j(6). Let p = 10 - n. Which is smaller: c or p?
p
Suppose -6*c + 2*c - 67 = u, 5*u - 4*c = -287. Is -61 bigger than u?
False
Suppose -93*q + 85*q = -376. Is q at least as big as 375/8?
True
Let s be (-21)/14 + (206/(-4) - -1). Let m be ((-4)/6)/(s/(-78)). Which is smaller: 2/75 or m?
m
Let t = -1.117 + 0.888. Which is smaller: -2 or t?
-2
Suppose -2*b - 1 + 3 = 5*a, -2*b + 2 = -5*a. Suppose a = 18*w - 23*w. Is -2/95 less than w?
True
Suppose 30 = 5*p - 5. Let v = 31 + -24. Let h be (2 - (5 - 4))*v. Is h less than or equal to p?
True
Let t be 4/14 - 2*1870/(-1463). Is t not equal to 2?
True
Let g = -659/494 + 17/13. Is g equal to -2/3?
False
Let g be (2 + 2)*((-2)/4 + 1). Suppose a - g*w = 19, -5*w + 170 = 5*a + 60. Is 22 greater than or equal to a?
True
Let s = 665 + -595. Let u be ((-2)/4)/(11/(-1562)). Which is bigger: s or u?
u
Let u(r) = -4*r + 164. Let s be u(26). Which is greater: 57 or s?
s
Let k be 9/27 - -2*142/(-780). Is 0 <= k?
False
Let d = 14867/7 + -2122. Let j = -3.1 + 3. Which is bigger: j or d?
d
Let f = -142 - -152. Suppose 18 = f*s + 8. Suppose -4 = 5*k + 6, -2*j + 5*k + 6 = 0. Which is greater: j or s?
s
Let t(n) = -n**2 - 6*n + 9. Let o be t(-7). Suppose 3*r + 30 = -o*r. Let m be (-96)/(-520)*15/r. Which is bigger: 1 or m?
1
Let u(l) = -4*l**2 + 0 + l**3 - 6*l + 1 + 3. Let k be u(5). Which is smaller: -2/75 or k?
k
Let b = 34.716 + -0.616. Let d = b - 34. Which is greater: 1.4 or d?
1.4
Let m(z) = -z**2 + 10. Let o be m(3). Let q = 141497/2710 + -7/542. Let a = 53 - q. Which is greater: a or o?
o
Let g be (-172)/(-20) + -9 - 956/(-15). Is 64 at most g?
False
Suppose 3*r = -y + 2*r - 3, 0 = -3*y + 4*r + 12. Suppose 5*f - 7 - 8 = y. Suppose -c - 2*u - 1 = 0, -2*u = -f*u. Is 2/9 smaller than c?
False
Let y(s) = -s**3 - 6*s**2 + 21*s + 12. Let c be y(-8). Let a = -30 + 3. Are c and a unequal?
True
Suppose 13*f = 23*f + 400. Let q = -90 - -50. Does f = q?
True
Let m be ((-45)/6)/(5/((-40)/(-28))). Let d = m + 2. Is 2 not equal to d?
True
Let l = -81 - -81. Suppose l = -5*h + 2*v + 45, 0 = 5*h + 5*v + 46 - 126. Is h equal to 2?
False
Let g(l) = -l**3 - 26*l**2 - 10*l + 92. Let m be g(-25). Is m at most -282?
True
Let l(u) = u**2 + 5*u + 1. Let w be l(-5). Suppose 4*q = 4*a + 3*q + w, -12 = -3*a + 5*q. Let x be (8/4)/(1 + -6). Which is bigger: x or a?
x
Let k(w) = -7*w + 7. Let j be k(-5). Let t be ((-12)/j)/(8/(-14)). Let g = -0.18 - 0.12. Is t at least g?
True
Suppose -5*y - 9 + 2 = -3*d, 0 = -3*y - 2*d - 8. Which is smaller: 37 or y?
y
Let c be (-130)/14 - (-2)/7. Let n(w) = 2*w**2 - 2*w - 5. Let q be n(3). Suppose t - 3*j = 6, q + 3 = -2*j. Is c <= t?
True
Suppose -16*a - 249 = -89. Let c be 43/3 + (-2)/6. Let i = c + a. Is i less than or equal to 4?
True
Let n(w) = -w**3 - 14*w**2 - 9*w + 87. Let h be n(-12). Is -93 not equal to h?
False
Let m = -19 + 7. Let v be (34/4)/((-3)/m). Let b be v/28 + 8/28. Which is greater: 3 or b?
3
Let r(q) = q**2 - 10*q - 157. Let s be r(19). Is 6 less than or equal to s?
True
Let o = 12417939/37 + -335642. Let a = 22 + o. Is a != -1?
True
Let d = -118 - -146. Are d and 29 nonequal?
True
Let v = -58.3 + 58. Is v smaller than -366?
False
Let j = -0.32 + -0.04. Let f = j + 0.3. Let y = -0.14 + f. Which is smaller: y or 8?
y
Let g be (2/(-5))/(8/(-20)). Let i be (-61)/481 - 7/((-455)/10). Is g bigger than i?
True
Let v(z) = -z**2 - 8*z - 19. Suppose -4*a + 43 = -5*s - 5*a, 0 = -2*s + a - 20. Let y be v(s). Are -29 and y equal?
False
Let q be 176 - (16/4 + -3). Which is greater: 174 or q?
q
Let v(t) = -t**2 + 5*t + 2. Let n be v(7). Let a = -13 - n. Is a greater than 2/25?
False
Suppose -4*f + 5*k - 6*k = -13, -2*k - 6 = 0. Let b(u) = 3*u**2 + 5*u + 2. Let m be b(-4). Suppose -f*g + 6*g = m. Is g at most as big as 16?
True
Let a(p) = 44*p + 1000. Let q be a(-22). Let u = -2.6 - -0.6. Is u less than or equal to q?
True
Let j = -1.3 - -1.2. Let a = 38 - 39. Do a and j have the same value?
False
Let a = 11 - 7. Let b = -3 - 8. Let d = b + a. Is d at most as big as -1/3?
True
Suppose 2*t = 4*q - 10, 21*q = -5*t + 18*q - 90. Is t at least as big as -2?
False
Let n be (-10)/(-45) + (-4506304269)/1593. Let i = n - -2829584. Let h = 768 - i. Which is bigger: -1 or h?
h
Let c = 251 + -175. Is 77 <= c?
False
Suppose -11*f - 2258 = 195. Is -224 >= f?
False
Let p(h) = -h**2 - 12*h - 22. Let t be p(-9). Let k be ((-144)/(-20))/(t/(-25)). Which is bigger: k or -35?
-35
Suppose 0 = 29*v + 9*v - 4560. Which is greater: 118 or v?
v
Let s = 14 - 12. Let g be (s - (-1 - -3))/(-1). Let h be -3 + 6 + (g - 3). Is 1/24 <= h?
False
Let f be (4/(-312))/(15/(-1323)). Let x = 9/10 - f. Which is smaller: x or 4/3?
x
Suppose -8*j + 5*j = 0. Suppose -2*s - 3*m = -6*m - 39, j = 2*s + 2*m - 64. Let n = s + -15. Is n smaller than 12?
False
Suppose -5*l = 7 + 168. Let q be (l/3)/((-7)/(-21)). Is q bigger than -35?
False
Let t be (2/6)/(-2 - 4/(-3)). Is t smaller than 1.8?
True
Let p = -3 - -2.97. Let j = 0.63 + p. Let r = j - 0.6. Is -2 equal to r?
False
Suppose -3*l + 139 = -77. Let b be (3/66)/((-3)/l). Which is smaller: 0 or b?
b
Let v(f) = -3*f**2 - 13*f - 16. Let k be v(3). Are k and -416/5 nonequal?
True
Let s = 153 - 90. Let f