 p?
True
Let c = 48/209 - -44486/1045. Let q = -1489 - -1533. Do c and q have different values?
True
Let c(v) = 6*v + 94. Let p be c(-16). Let l be 67/(p/(-10)*5). Is 69 equal to l?
False
Let p = 0.07 - 10.07. Let t = p - -35. Let j = 22 - t. Which is smaller: j or 0.1?
j
Let p = 6011/34255 + 2/2015. Let u = -304/1645 - 5/329. Which is smaller: u or p?
u
Let j be ((-966)/35 + 27)/(1/655*11). Which is smaller: j or -36?
-36
Let x = -2.8 - -3. Suppose 527*y + 69300 = -466*y - 987*y. Which is smaller: y or x?
y
Let u(f) = -f**3 - 10*f**2 + 3*f - 14. Let j(q) = q**3 + q**2 - q + 1. Let y(s) = 2*j(s) + u(s). Let n be y(8). Let b be (-26)/n - (-2)/(-4). Is 6 at least b?
True
Let f be (6/(-16))/((-153)/(-2346)). Which is greater: f or -17?
f
Let y = 428160/13 - 33000. Let d = y - -2549/65. Let m = -26 - d. Are 15 and m non-equal?
True
Let z = 414.034 + -414. Which is greater: z or 2/5?
2/5
Let j = 54/511 + 26909/30660. Which is greater: j or 1?
1
Suppose -4*o + 339 = -7*o. Let f = 65 + o. Let m be 2/12*(-27)/f. Which is greater: 1 or m?
1
Suppose 1211 = -26*w + 1315. Which is bigger: w or -1/9?
w
Let m = -37.567 - -37.967. Which is bigger: 761 or m?
761
Let p be (-538)/(-3)*(-312)/208. Which is greater: -270 or p?
p
Suppose -6775 = 16*u + 9*u. Let g = -232 - u. Is 37 less than or equal to g?
True
Let f(s) = -2*s - 3. Let i be f(-2). Let x(u) = -2*u**3 + 30*u**2 + 6*u - 10. Let r be x(15). Let k = 245/3 - r. Which is greater: k or i?
k
Let m = -0.316 + 0.416. Which is smaller: m or -19/6?
-19/6
Let w = -16.13 + 19.13. Which is smaller: 790 or w?
w
Let k be 7 - ((-2684)/(-14) + 20/(-140)). Which is bigger: k or -184?
-184
Let p = -43.251 + 0.251. Suppose 3*u = -2*q - 4 + 15, 2*q - 2*u + 4 = 0. Let y be 1 + 0 - (-1 + q). Which is bigger: p or y?
y
Let g(a) = a**3 - 14*a**2 - 16*a + 18. Let h be g(15). Suppose -9 = -y - o + 2, 51 = 3*y - h*o. Is 64/5 greater than y?
False
Let g(c) = 10*c - 30. Let h be g(3). Let x be 108/(-195) + 5 + (-189)/39. Which is greater: h or x?
h
Let o be -415*20/150 + 1/3. Is 23 less than o?
False
Suppose -30 = 5*p + 9*s + 38, -s - 7 = 0. Is -202/87 > p?
False
Let c be (4420/(-1241))/10 - (-4)/10. Which is greater: 1 or c?
1
Let i be ((3/9)/1)/((-154)/952842). Let a = -2071 - i. Is -8 at least as big as a?
True
Let k(b) = b**3 - 6*b**2 - 2*b + 6. Let x be k(6). Let r be 4/x*255/(-34). Suppose g + 5*l = 6*g + 150, 0 = r*g + 4*l + 123. Is -26 less than g?
False
Let o = 4 + 0. Suppose o*j - w + 3*w - 2296 = 0, 592 = j + 5*w. Let v = j - 4044/7. Which is smaller: -5 or v?
v
Let s(g) = 620*g + 3491. Let v be s(-6). Suppose -283 = k - 53. Is v < k?
False
Let r = -50159/6 + 8363. Are r and 7/10 equal?
False
Let a(p) = 5*p + 399. Let i be a(-82). Let q be 22*((-3)/2)/3. Let g = q - i. Are 12/13 and g unequal?
True
Let g(p) = -p**3 + 6*p**2 - 5*p - 7. Let x be g(4). Let r be (-4)/x + (-87)/(-15). Suppose -r*m + 1 = 2*v + 13, -4*v + 4 = -4*m. Which is smaller: m or -12/11?
m
Let f be (1 - 0)/(7/((-42)/(-219))). Let r(d) = 4*d + 4. Let n be r(3). Suppose n - 16 = -3*w. Is w < f?
True
Let j be (5405/(-12972))/((-5)/(-2)). Which is bigger: j or 81.9?
81.9
Let f be (-7 - 305/(-15))/((-27)/81). Suppose 0 = 4*p + 253 - 49. Let q = p - -10. Which is greater: q or f?
f
Suppose -326*o = 3835 + 6798 - 3461. Suppose 6*k = 2*k - 92. Are k and o equal?
False
Let j be (-4560)/(-16107) + 2/(-7). Let k = j + -1460/28379. Suppose 0 = 3*v - 2 - 1. Which is bigger: v or k?
v
Suppose 0 = 3*s - 14*v - 39182, 5*v + 65230 = -77*s + 82*s. Which is bigger: s or 13041?
s
Let m be ((-5)/(2000/90))/((-9)/876). Which is bigger: 21 or m?
m
Let z be 2/4 - (-2)/(-36). Let m = -202 + 217. Let d be (-2)/(-1 + m/6). Which is bigger: z or d?
z
Let y be (132/594)/((-8)/(-90))*(-12)/(-10). Let l(z) = z + 8. Let n be l(-4). Is n greater than y?
True
Let m(w) = -w - 9. Suppose 2*o + 32 = -5*i + i, -2*i = 4. Let b be m(o). Let h = b + 20. Which is smaller: h or 22?
22
Let q = -1364/315 - -2/45. Let j = q - -580/119. Is 2 smaller than j?
False
Let a = 1998.85 - 2124.9. Is a smaller than 1/3?
True
Let y = 31/1951 + 3517312/21461. Does 164 = y?
False
Let g(y) = y**3 - 9*y**2 + 43*y - 529. Let v be g(10). Which is bigger: v or 12/461?
v
Let b be ((-45)/(-6) + -8)*20/465710*14. Which is smaller: 1 or b?
b
Suppose 4*b + 4*j = 20, 3*j - 16 = -21*b + 17*b. Let s = 6/239 - 649/35372. Are s and b unequal?
True
Let m = 0.4 - 0.3. Suppose 0 = 16025*w - 16038*w + 78. Which is smaller: m or w?
m
Let v be 2208/10 + 4*(-11)/55. Let s(d) = 37*d - 1. Let x be s(6). Does v = x?
False
Let v be 3/((-324)/(-28395))*-4*2/(-20). Which is bigger: 106 or v?
106
Let u = -18563 + 18553. Which is greater: 73 or u?
73
Suppose 4*s - 3*u - 118 = -0*s, -4*u = 8. Suppose 2 = -6*y - s. Let n = 5 + y. Is n greater than or equal to 2?
False
Suppose d + 22 = -d + 3*c, -5*c + 35 = -3*d. Let v be 0 + 0 + (-1 - -1) + 0. Suppose v = 25*n - 24*n + 6. Do d and n have different values?
True
Let f = -5426 - -5425.9. Which is bigger: 3.43 or f?
3.43
Suppose p + 252 = -4*u + 4*p, -315 = 5*u + 2*p. Let l = -71 - u. Is -8 >= l?
True
Let p be (243/486)/(2*-1). Do p and 9191 have the same value?
False
Let q(d) = -2*d + 4. Let g be q(4). Let m be (-842)/732 - (g - 60/(-18)). Let y = m - 1/61. Is y < 0.9?
True
Let f be 5 + 9/(36/8). Suppose 2*k - f = 19. Is k at least as big as -0.2?
True
Let h = 114.808 + -114.74. Which is bigger: h or -21?
h
Let d = -0.2178 + 0.19094. Is d not equal to 2?
True
Let i(b) = 2*b**2 + 2*b - 1. Let c be i(-2). Let x = 6 - c. Let q(o) = o**3 + 51*o**2 + 519*o + 13299. Let n be q(-46). Are x and n non-equal?
True
Let p be ((-59)/(-3))/(82/(-246)). Let a = -35 - p. Is 33 greater than or equal to a?
True
Let f = 1213.8 - 1204.8. Is -828 greater than f?
False
Suppose 4*k = 5*p + 398, 6*p - 2*p - k = -325. Is p at most -106?
False
Suppose 2597*l + 245*l = 9372 + 140 - 986. Suppose -6*t = -3*t + 3. Let b be 0 + 26/22 + t. Which is smaller: l or b?
b
Let q be -4*(8 - 164/16). Let a = 41 - 40.72. Let o = a - 0.08. Is o greater than q?
False
Let b = 2.48 + -26.48. Let t = -24.018 - b. Are -1 and t equal?
False
Let a be (8/(-10)*105/(-252))/(2/(-6)). Is a < -13/497?
True
Let f be (-76)/(39/(390/40)). Is -112 > f?
False
Let s be 15/((-15)/(-5)) + 7. Let w be (2 + -2)/(s/6). Which is smaller: w or -1/15?
-1/15
Let c = 682796/9 - 75942. Let u = c - -68191/900. Which is greater: 1 or u?
1
Let i = 3329 - 3228. Is i != 0?
True
Suppose 0*k + 2*k = 4*a + 10, -5*k = -3*a - 25. Suppose a = 12*b - 131 - 97. Is b at most as big as 24?
True
Suppose -540*q + 874 = 184*q + 150*q. Is q smaller than -2476/5?
False
Let b(y) = -2*y + 6. Let m be b(6). Suppose -9*x + 6*x + 2*l = -121, 0 = -3*x - l + 124. Suppose -20 = -3*w - x. Which is bigger: w or m?
m
Let l be (0 + (-1)/1)/((-20)/(-40)). Let m be l - (2 - ((-3 - -2) + 4)). Is m at least -3/5?
False
Let q(y) = y**2 + 6*y - 21. Let n be q(-8). Let j be -417 + (0 - 20/n). Let t = j + 5363/13. Which is smaller: 1 or t?
t
Let o = -61.65 + 750.65. Is -5 greater than o?
False
Suppose p = 4*a - 52, 2*a - 93 = 2*p - 1. Which is smaller: -383/9 or p?
p
Let j = -127 - -26. Let h = 43 + j. Let y = h - -48. Is y < -0.2?
True
Let f(u) = 2*u - 8. Let q be f(-11). Suppose -35 = 17*t + 33. Let n be -25*((-2)/t + 3/q). Is -9 smaller than n?
False
Let y = 1059/86 + 5/258. Let l = 83699.1 + -83699. Which is greater: y or l?
y
Let j = 10019 - 9643. Which is smaller: 4152/11 or j?
j
Let d = -133 - -274. Let o = 220 - d. Is o equal to -0.1?
False
Let r = -0.0177 + -219.9823. Let u = -218 - r. Which is bigger: 34 or u?
34
Suppose -5*g = 3*i - 32 + 38, g - 12 = -5*i. Let v be (6 - i)*16/(-18)*4. Which is bigger: v or -12?
v
Let p = -1795.8 - -356.8. Are -2/7 and p unequal?
True
Suppose q - 3*q - 164 = 0. Let p be (-1)/2 - q/(-4). Let h be p/(-35) - 2/(-5). Do -2/9 and h have different values?
True
Let d = -28396 + 28306. Which is bigger: 11/3 or d?
11/3
Let x = -13.7 + 13. Let g = -1.5 - x. Let k = g - 1.2. Which is smaller: k or -1?
k
Let k = -0.3562 - 372.8438. Let c = k + 371. Is -2 smaller than c?
False
Suppose 4*u = -2*t + 230, 104 + 63 = 3*u - 4*t. Let n(j) = -j + 62. Let p be n(3). Which is smaller: p or u?
u
Let m be 2/(-6) - (-1029816)/(-54). Let q = m + 13292485/697. Let g = q + -9057/139